We consider a class of supervisory control problems that require infinite state supervisors Petri nets with inhibitor arcs (PN's) to model the supervisors. We compare this PN-based approach to supervisory control ...
详细信息
We consider a class of supervisory control problems that require infinite state supervisors Petri nets with inhibitor arcs (PN's) to model the supervisors. We compare this PN-based approach to supervisory control to automata-based approaches. The primary advantage of a PN-based supervisory controller is that a PN-based controller provides a finite representation of an infinite state supervisor. For verification, implementation, and testing reasons, a finite PN-based representation of an infinite state supervisor is preferred over an automata-based supervisor. We show that this modeling advantage is accompanied by a decision disadvantage, in that in general the controllability of a language that can be generated by the closed-loop system is undecidable.
This paper focuses on techniques for enhancing the feasibility of using graphic visualization in analyzing the complexities of parallel software. The central drawback to applying such visual techniques is the overhead...
详细信息
This paper introduces an algorithm for converting relay ladder logic (RLL) programs for programmable logic controllers (PLCs) into sequential function chart (SFC) programs. Since an SFC (a standardization of Grafcet) ...
详细信息
Two commonly used optical correlation techniques, matched spatial filtering and joint-Fourier transform correlation, are briefly reviewed. A recently proposed real-time joint-Fourier transform correlation is then disc...
详细信息
A closed-loop feedback scheme for obtaining a goal microstructure during Hot Isostatic Pressing (HIP'ing) of powders is described. The control scheme relies on previously developed process models describing the pr...
详细信息
In this paper, results on limit cycle oscillations in floating-point implementations of recursive filters are reviewed. Special attention is paid to structures with a single floating-point nonlinearity in the recursiv...
详细信息
In this paper we apply computer visualization techniques such as computer (3D) graphics, animation, and photorealistic color rendering to the simulation of dynamical processes and control systems in limited-resource e...
详细信息
In this paper we present some enlightening results to show why and how stability assessment for Linear Time-Varying (LTV) systems based solely on the location of the "frozen-time eigenvalues (FTE)" fails to ...
详细信息
A class of linear-phase finite impulse response (FIR) digital filters for sampling rate conversion is introduced. These filters consist of two cascaded parts. The first part is a parallel connection of two or three br...
详细信息
With recent improvements in single CPU performance, several issues become more important in multiprocessor design. Two of these are interprocessor communication and locality. In parallel systems with fast CPUs, locali...
详细信息
With recent improvements in single CPU performance, several issues become more important in multiprocessor design. Two of these are interprocessor communication and locality. In parallel systems with fast CPUs, locality is vital to performance. However, traditional parallel programming models such as shared memory or message passing do not naturally lead to programs that exhibit locality. In the paper, the Seamless model for interprocessor communication is presented which is based on locality and that allows the programmer to explicitly manipulate a program's locality to optimize performance. Additionally, this model can support latency tolerance with proper hardware support. Extensions to the C programming language that support this model are also presented. Finally, a parallel program utilizing this model is provided to illustrate the paradigm.< >
暂无评论