Modular Feedback Logic for Discrete Event Systems

DOI10.1137/0325066MaRDI QIDQ5899777zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

modular feedback logic

Mathematics Subject Classification ID

Synthesis problems (93B50) Set-theoretic model theory (03C55)

Recommendations

• Modular Feedback Logic for Discrete Event Systems
• Feedback logic for discrete event systems with arbitrary control patterns
• Controllability and control-invariance in discrete-event systems
• scientific article; zbMATH DE number 744048
• scientific article; zbMATH DE number 1836405

Cited in

(25)

• Controller synthesis with highly simplified linear constraints
• Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
• scientific article; zbMATH DE number 744048 (Why is no real title available?)
• On the computational power of swarm automata using agents with position information
• Structural decentralised control of concurrent discrete-event systems
• Hierarchical control of discrete-event systems
• Hierarchical control of timed discrete-event systems
• Supervisory control of discrete event systems
• Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations
• Modular Feedback Logic for Discrete Event Systems
• Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution
• Optimal Petri net supervisor synthesis for forbidden state problems using marking mask
• Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation
• Stabilization and blocking in state feedback control of discrete event systems
• Min-plus realizable control design for partially observable timed event graphs under marking constraints
• Control of parameterized discrete event systems
• Supervisory control of product and hierarchical discrete event systems
• Application of supervisory control theory to theme park vehicles
• On condition/event systems with discrete state realizations
• Input/output discrete event processes and communication delays
• Modular supervisory control of discrete-event systems
• An algebraic approach to supervisory control
• Supervision based on place invariants: a survey
• Invertibility of discrete-event dynamic systems
• Logical models of discrete even systems: a comparative exposition

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 Q5899777)