Modular Feedback Logic for Discrete Event Systems

DOI10.1137/0325066zbMath0694.93037OpenAlexW1982948055MaRDI QIDQ5899708

W. Murray Wonham, Peter J. Ramadge

Publication date: 1987

Published in: SIAM Journal on Control and Optimization (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/0325066

zbMATH Keywords

discrete event systemsmodular feedback logic

Mathematics Subject Classification ID

Discrete-time control/observation systems (93C55) Synthesis problems (93B50)

Related Items (22)

On observability of discrete-event systems ⋮ Maintenance goals of agents in a dynamic environment: formulation and policy construction ⋮ An enhanced supervisory control strategy for periodicity mutual exclusions in discrete event systems based on Petri nets ⋮ A characterization of realizable behavior in supervisory control of timed event graphs ⋮ Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates ⋮ Controller synthesis for safety and reachability via approximate bisimulation ⋮ State-based supervisory control with restrictions on the supervisor realization ⋮ A temporal logic approach to discrete event control for the safety canonical class ⋮ Aggregation and multi-level control in discrete event dynamic systems ⋮ Reduction of constraints for controller synthesis based on safe Petri nets ⋮ On optimal attraction in discrete-event processes ⋮ Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications ⋮ Optimal strategic planning problems in manufacturing based on the input- output models ⋮ Multi-model approach to discrete events systems: application to operating mode management ⋮ Control-invariance of hybrid systems with forcible events ⋮ State‐Feedback Control for a Class of Timed Petri Nets Subject to Marking Constraints ⋮ On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary Petri net ⋮ Decentralized supervisory control of discrete-event systems ⋮ Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface ⋮ Syntax-based synthesis for temporal-safety supervision ⋮ Control of Petri nets subject to strict temporal constraints using Max-Plus algebra ⋮ Decentralized state feedback control of discrete event systems

This page was built for publication: Modular Feedback Logic for Discrete Event Systems