Theorem of abstraction for equivalent controllers in hybrid systems

DOI10.1016/j.ins.2004.07.012zbMath1135.93351OpenAlexW2076789959MaRDI QIDQ2568275

Feng Lin

Publication date: 10 October 2005

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2004.07.012

zbMATH Keywords

Hybrid systemsControlDiscrete event systemsAbstraction

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Synthesis problems (93B50)

Related Items (2)

Fault diagnosis in discrete time hybrid systems -- a case study ⋮ The relationship of controllability between classical and fuzzy discrete-event systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Compositional abstractions of hybrid control systems
• On observability of discrete-event systems
• Synthesis and viability of minimally interventive legal controllers for hybrid systems
• Optimal control of hybrid systems with an infinite set of discrete states
• Supervisory Control of a Class of Discrete Event Processes
• Controller synthesis for hybrid systems with a lower bound on event separation
• Supervisory control of timed discrete-event systems under partial observation
• Decentralized control and coordination of discrete-event systems with partial observation
• Limited lookahead policies in supervisory control of discrete event systems

This page was built for publication: Theorem of abstraction for equivalent controllers in hybrid systems