A framework for real-time discrete event control
From MaRDI portal
Publication:3493236
DOI10.1109/9.52290zbMath0709.68029MaRDI QIDQ3493236
W. Murray Wonham, Jonathan S. Ostroff
Publication date: 1990
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/9.52290
Petri nets; temporal logic; discrete event systems; program verification; state machines; discrete event control
68Q45: Formal languages and automata
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
03B45: Modal logic (including the logic of norms)
68N15: Theory of programming languages
68N17: Logic programming
93A15: Large-scale systems
Related Items
A method for the modular synthesis of controllers for timed discrete-event systems, Logical models of discrete even systems: a comparative exposition, SetExp: a method of transformation of timed automata into finite state automata, Using mappings to prove timing properties, Supervisory control of discrete event systems, Grid automata and supervisory control of dense real-time discrete event systems, A contribution to the validation of grafcet controlled systems, Syntax-based synthesis for temporal-safety supervision, A Summary of Some Discrete-Event System Control Problems, Diagnosability of delay-deadline failures in fair real time discrete event models, A new method for centralised and modular supervisory control of real-time discrete event systems, Discrete events and general systems theory, On feedback controllers