A Hierarchical Approach for the Synthesis of Stabilizing Controllers for Hybrid Systems

DOI10.1007/978-3-642-24372-1_15zbMATH Open1348.93157OpenAlexW146619995MaRDI QIDQ3172915FDOQ3172915

Authors: Janusz Malinowski, Peter Niebert, Pierre-Alain Reynier 

Publication date: 7 October 2011

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-24372-1_15

Recommendations

• Stability analysis and controller synthesis for hybrid dynamical systems
• Stabilizing Dynamic Controllers for Hybrid Systems: A Hybrid Control Lyapunov Function Approach
• scientific article; zbMATH DE number 1444346
• scientific article
• Toward unified analysis and controller synthesis for a class of hybrid systems
• Hybrid control Lyapunov functions for the stabilization of hybrid systems
• Stabilizability of a class of nonlinear systems using hybrid controllers
• Hybrid control for global stabilization of a class of systems
• On the controller synthesis for linear hybrid systems
• A unified approach to controllability analysis for hybrid control systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Synthesis problems (93B50) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cited In (4)

• A complete-order hybrid identifier for multiprogrammed stabilization
• Title not available (Why is that?)
• Controllers for reachability specifications for hybrid systems
• Controller synthesis for hybrid systems with a lower bound on event separation

This page was built for publication: A Hierarchical Approach for the Synthesis of Stabilizing Controllers for Hybrid Systems

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