A framework for real-time discrete event control

DOI10.1109/9.52290zbMath0709.68029MaRDI 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

zbMATH Keywords

Petri nets; temporal logic; discrete event systems; program verification; state machines; discrete event control

Mathematics Subject Classification ID

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, A hierarchical consistency framework for real-time supervisory control, 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