Quasi-dependent variables in hybrid automata

DOI10.1145/2562059.2562142zbMath1361.68118DBLPconf/hybrid/BogomolovHMWP14OpenAlexW2012681899WikidataQ62037232 ScholiaQ62037232MaRDI QIDQ2986955

Marco Muñiz, Sergiy Bogomolov, Bernd Westphal, Christian Herrera, Andreas Podelski

Publication date: 16 May 2017

Published in: Proceedings of the 17th international conference on Hybrid systems: computation and control (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.704.266

zbMATH Keywords

hybrid systemsreachability analysisabstractionmodel transformationquasi-dependent variables

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)

Uses Software

• CPLEX
• YALMIP
• MPT
• z3
• dReal
• SpaceEx

Cites Work

• Minkowski terminal cost functions for MPC
• A quasi-infinite horizon nonlinear model predictive control scheme with guaranteed stability
• Constrained model predictive control: Stability and optimality
• On infinity norms as Lyapunov functions for piecewise affine systems
• Linear systems with state and control constraints: the theory and application of maximal output admissible sets
• Computation of piecewise quadratic Lyapunov functions for hybrid systems
• Lyapunov Functions, Stability and Input-to-State Stability Subtleties for Discrete-Time Discontinuous Systems
• Stability analysis of piecewise discrete-time linear systems
• Convex Analysis
• Set-theoretic methods in control

This page was built for publication: Quasi-dependent variables in hybrid automata