scientific article; zbMATH DE number 1301611

MaRDI QIDQ4246808zbMATH OpenFDO

Authors Haoxun Chen, Hans-Michael Hanisch

Publication date 16 June 1999

zbMATH Keywords

control synthesishybrid systempredicate invariance

Mathematics Subject Classification ID

Synthesis problems (93B50) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Discrete event control/observation systems (93C65)

Recommendations

• Hybrid control synthesis for eventuality specifications using level set methods
• Controllers for reachability specifications for hybrid systems
• Control-invariance of hybrid systems with forcible events
• An invariant-based approach to the design of hybrid control systems

Cited in

(12)

• Falsification of combined invariance and reachability specifications in hybrid control systems
• Control-invariance of hybrid systems with forcible events
• Parallel parameter synthesis for multi-affine hybrid systems from hybrid CTL specifications
• An invariant-based approach to the design of hybrid control systems
• On the controller synthesis for linear hybrid systems
• Limited-information control of hybrid systems via reachable set propagation
• Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates
• Periodically Controlled Hybrid Systems
• scientific article; zbMATH DE number 1303068 (Why is no real title available?)
• Hybrid control synthesis for eventuality specifications using level set methods
• Design of controllers for linear hybrid systems
• On the design of hybrid control systems using automata models

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4246808)