Modular Feedback Logic for Discrete Event Systems
From MaRDI portal
Publication:5899708
DOI10.1137/0325066zbMATH Open0694.93037OpenAlexW1982948055MaRDI QIDQ5899708FDOQ5899708
Authors: 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
Recommendations
Cited In (24)
- Title not available (Why is that?)
- Syntax-based synthesis for temporal-safety supervision
- Control of Petri nets subject to strict temporal constraints using Max-Plus algebra
- State-based supervisory control with restrictions on the supervisor realization
- A characterization of realizable behavior in supervisory control of timed event graphs
- Controller synthesis for safety and reachability via approximate bisimulation
- State-feedback control for a class of timed Petri nets subject to marking constraints
- Maintenance goals of agents in a dynamic environment: formulation and policy construction
- Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates
- Control-invariance of hybrid systems with forcible events
- Multi-model approach to discrete events systems: application to operating mode management
- On optimal attraction in discrete-event processes
- On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary Petri net
- Modular Feedback Logic for Discrete Event Systems
- Aggregation and multi-level control in discrete event dynamic systems
- Optimal strategic planning problems in manufacturing based on the input- output models
- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface
- Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications
- Decentralized supervisory control of discrete-event systems
- Decentralized state feedback control of discrete event systems
- Reduction of constraints for controller synthesis based on safe Petri nets
- A temporal logic approach to discrete event control for the safety canonical class
- An enhanced supervisory control strategy for periodicity mutual exclusions in discrete event systems based on Petri nets
- On observability of discrete-event systems
This page was built for publication: Modular Feedback Logic for Discrete Event Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5899708)
