Decidability for a temporal logic used in discrete-event system analysis

DOI10.1080/00207179008953606zbMath0719.93005OpenAlexW2056790232MaRDI QIDQ5752401

Kevin M. Passino, Julia F. Knight

Publication date: 1990

Published in: International Journal of Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207179008953606

zbMATH Keywords

non-deterministic finite state machine

Mathematics Subject Classification ID

Discrete-time control/observation systems (93C55) General systems theory (93A99)

Related Items (6)

Lagrange stability and boundedness of discrete event systems ⋮ Supervisory control of discrete event systems ⋮ Absolute controllability of predicates in discrete event systems ⋮ An input–output simulation approach to controlling multi-affine systems for linear temporal logic specifications ⋮ Event rates and aggregation in hierarchical discrete event systems ⋮ Logical models of discrete even systems: a comparative exposition

Cites Work

• Unnamed Item
• Unnamed Item
• Synthesis of Communicating Processes from Temporal Logic Specifications
• Control problems in a temporal logic framework
• Supervisory Control of a Class of Discrete Event Processes

This page was built for publication: Decidability for a temporal logic used in discrete-event system analysis