Computational techniques for hybrid system verification

DOI10.1109/TAC.2002.806655zbMath1364.93457MaRDI QIDQ5266964

Publication date: 20 June 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Control/observation systems involving computers (process control, etc.) (93C83) Discrete event control/observation systems (93C65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Efficient polyhedral enclosures for the reachable set of nonlinear control systems ⋮ Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs ⋮ Finite data-rate feedback stabilization of switched and hybrid linear systems ⋮ Deadness and how to disprove liveness in hybrid dynamical systems ⋮ Probabilistic reach-avoid problems in nondeterministic systems with time-varying targets and obstacles ⋮ Barriers and potentially safe sets in hybrid systems: pendulum with non-rigid cable ⋮ Computational techniques for reachability analysis of Max-Plus-Linear systems ⋮ Set-based control for disturbed piecewise affine systems with state and actuation constraints ⋮ Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once ⋮ Exact safety verification of hybrid systems using sums-of-squares representation ⋮ A novel unified framework for solving reachability and invariance problems ⋮ Real-time reachable set estimation for linear time-delay systems based on zonotopes ⋮ Approximating Continuous Systems by Timed Automata ⋮ Adaptive parameter tuning for reachability analysis of nonlinear systems ⋮ Stability and stabilization analysis of periodic switching stochastic systems based on Lyapunov function with continuous time-varying matrix polynomials ⋮ Adaptive control with multiple event-triggering settings under mismatched uncertainties in control and feedback paths ⋮ Traffic models of periodic event-triggered quantized control systems ⋮ Linearization, model reduction and reachability in nonlinear ODEs ⋮ Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions ⋮ Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes ⋮ Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization ⋮ Bisimilar linear systems. ⋮ Finite-time stability and stabilisation with polyhedral domains for linear systems ⋮ Identification of piecewise affine systems via mixed-integer programming. ⋮ Convexity of reachable sets of nonlinear ordinary differential equations ⋮ Factorization of saddle-point matrices in dynamical systems optimization -- reusing pivots ⋮ Rigorous Simulation-Based Analysis of Linear Hybrid Systems ⋮ An approximation algorithm for box abstraction of transition systems on real state spaces ⋮ Computing reachable states for nonlinear biological models ⋮ Sampling-based Algorithm for Testing and Validating Robot Controllers ⋮ Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques ⋮ Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes ⋮ Computing reachable sets for uncertain nonlinear monotone systems ⋮ Applications of MetiTarski in the Verification of Control and Hybrid Systems ⋮ Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems ⋮ Hybrid systems: From verification to falsification by combining motion planning and discrete search ⋮ Computing differential invariants of hybrid systems as fixed points ⋮ Differential dynamic logic for hybrid systems ⋮ Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers ⋮ A dimensionality reduction method for computing reachable tubes based on piecewise pseudo-time dependent Hamilton-Jacobi equation ⋮ Lagrangian methods for approximating the viability kernel in high-dimensional systems