Supervisory control of hybrid systems based on model abstraction and guided search

DOI10.1016/j.na.2005.12.023zbMath1121.93046OpenAlexW2005831014MaRDI QIDQ2496813

Olaf Stursberg

Publication date: 20 July 2006

Published in: Nonlinear Analysis. Theory, Methods \& Applications. Series A: Theory and Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.na.2005.12.023

zbMATH Keywords

synthesisreachabilityabstractiondiscrete event systemsautomatonmodel refinement

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Discrete event control/observation systems (93C65) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Supervisory control of a solar air conditioning plant with hybrid dynamics ⋮ Refinements of behavioural abstractions for the supervisory control of hybrid systems ⋮ Hybrid automata: an insight into the discrete abstraction of discontinuous systems ⋮ Decomposition of timed automata for solving scheduling problems

Cites Work

• Ellipsoidal calculus for estimation and control
• Synthesis of supervisory controllers for hybrid systems based on approximating automata
• Hybrid control synthesis for eventuality specifications using level set methods
• Supervisory target control for hybrid systems
• On the synthesis of discrete controllers for timed systems
• Supervisory control of timed discrete-event systems under partial observation
• Discrete supervisory control of hybrid systems based on \(l\)-complete approximations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Supervisory control of hybrid systems based on model abstraction and guided search