A Class of Decidable Parametric Hybrid Systems

DOI10.1007/3-540-45719-4_10MaRDI QIDQ2996138zbMATH OpenOpenAlexFDO

Authors Michaël Adélaïde, Olivier Roux

Publication date 6 May 2011

Published in Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45719-4_10

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1303067
• Decidable hybrid systems
• A decidable class of planar linear hybrid systems
• A Decidable Class of Planar Linear Hybrid Systems
• On the decidability and complexity of problems for restricted hierarchical hybrid systems
• scientific article; zbMATH DE number 1927563
• On the decidability of stability of hybrid systems
• scientific article; zbMATH DE number 1794387
• Low dimensional hybrid systems -- decidable, undecidable, don't know
• Differential Dynamic Logic for Verifying Parametric Hybrid Systems

Cited in

(3)

• Efficient choice of parameters on delta-reachability bounded hybrid systems
• scientific article; zbMATH DE number 1303067 (Why is no real title available?)
• scientific article; zbMATH DE number 1927563 (Why is no real title available?)

This page was built for publication: A Class of Decidable Parametric Hybrid Systems

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