Model measuring for hybrid systems

DOI10.1145/2562059.2562130MaRDI QIDQ2986968zbMATH OpenOpenAlexFDO

Authors Jan Otop, Thomas A. Henzinger

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 https://doi.org/10.1145/2562059.2562130

zbMATH Keywords

quantitative model checkingmodel measuringparametric hybrid automata

Mathematics Subject Classification ID

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

Recommendations

• Model measuring for discrete and hybrid systems
• From model checking to model measuring
• Model checking the quantitative \(\mu \)-calculus on linear hybrid systems
• Model checking the quantitative \(\mu \)-calculus on linear hybrid systems
• scientific article; zbMATH DE number 1507210

Cites work

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

Cited in

(5)

• From model checking to model measuring
• The demon, the gambler, and the engineer. Reconciling hybrid-system theory with metrology
• Model measuring for discrete and hybrid systems
• CASP solutions for planning in hybrid domains
• Measuring with timed patterns

Describes a project that uses

Uses Software

• MPT
• YALMIP
• CPLEX

This page was built for publication: Model measuring for hybrid systems

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