Predicates and predicate transformers for supervisory control of discrete event dynamical systems
From MaRDI portal
Publication:5288513
DOI10.1109/9.250512zbMath0774.93003OpenAlexW2121782671MaRDI QIDQ5288513
Vijay K. Garg, Steven I. Marcus, Ratnesh Kumar
Publication date: 12 August 1993
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/1903/5156
Related Items
Control of parameterized discrete event systems, Supervisory control of discrete event systems, A controller synthesis framework for automated service composition, A polynomial dynamic system approach to software design for attractivity requirement, A characterization of realizable behavior in supervisory control of timed event graphs, Supervisory control of discrete-event systems under external attacks, Supervisory control of state-tree structures with partial observation, Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation, Decentralized control of infinite systems, State-space supervisory control of reconfigurable discrete event systems, A temporal logic approach to discrete event control for the safety canonical class, Extremal solutions of inequations over lattices with applications to supervisory control, State Estimation and Fault Detection Using Petri Nets, Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates, State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions, Logical models of discrete even systems: a comparative exposition, Flexible regenerative supervision of sequential behaviour., Characterizations and effective computation of supremal relatively observable sublanguages, Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution, Modular nonblocking state feedback control of discrete event systems and its application to dynamic oligopolistic markets, Stabilization and blocking in state feedback control of discrete event systems, Syntax-based synthesis for temporal-safety supervision, State feedback control of real-time discrete event systems with infinite states, Modular supervisory control and coordination of state tree structures, Decentralized state feedback control of discrete event systems
