Taylor approximation for hybrid systems

DOI10.1007/978-3-540-31954-2_26MaRDI QIDQ5703940zbMATH OpenOpenAlexFDO

Authors Ruggero Lanotte, Simone Tini

Publication date 11 November 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b106766

Mathematics Subject Classification ID

Approximation by polynomials (41A10) Formal languages and automata (68Q45) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Taylor approximation for hybrid systems
• Approximate simulation relations for hybrid systems
• Accurate hybridization of nonlinear systems
• Generalized Derivatives for Hybrid Systems
• Theoretical approximation methods for hybrid differential equations
• Hybridization methods for the analysis of nonlinear systems
• Approximations of Stochastic Hybrid Systems
• Taylor approximations of multidimensional linear differential systems
• Computation of piecewise quadratic Lyapunov functions for hybrid systems

Cited in

(7)

• Computing differential invariants of hybrid systems as fixed points
• Approximate equivalence of the hybrid automata with Taylor theory
• Taylor approximation for hybrid systems
• scientific article; zbMATH DE number 5382007 (Why is no real title available?)
• Relating syntactic and semantic perturbations of hybrid automata
• Generalized Derivatives for Hybrid Systems
• Symbolic Model Checking of Hybrid Systems Using Template Polyhedra

This page was built for publication: Taylor approximation for hybrid systems

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