A framework for real-time discrete event control
From MaRDI portal
Publication:3493236
DOI10.1109/9.52290zbMath0709.68029OpenAlexW1534752314MaRDI QIDQ3493236
Jonathan S. Ostroff, W. Murray Wonham
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 netstemporal logicdiscrete event systemsprogram verificationstate machinesdiscrete event control
Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45) Theory of programming languages (68N15) Logic programming (68N17) Large-scale systems (93A15)
Related Items
Diagnosability of delay-deadline failures in fair real time discrete event models ⋮ SetExp: a method of transformation of timed automata into finite state automata ⋮ Supervisory control of discrete event systems ⋮ Discrete events and general systems theory ⋮ On feedback controllers ⋮ A new method for centralised and modular supervisory control of real-time discrete event systems ⋮ Using mappings to prove timing properties ⋮ Grid automata and supervisory control of dense real-time discrete event systems ⋮ Logical models of discrete even systems: a comparative exposition ⋮ A hierarchical consistency framework for real-time supervisory control ⋮ A contribution to the validation of grafcet controlled systems ⋮ A Summary of Some Discrete-Event System Control Problems ⋮ A method for the modular synthesis of controllers for timed discrete-event systems ⋮ Syntax-based synthesis for temporal-safety supervision