Computational techniques for hybrid system verification

DOI10.1109/TAC.2002.806655zbMATH Open1364.93457MaRDI QIDQ5266964FDOQ5266964

Authors: Alongkrit Chutinan, Bruce H. Krogh

Publication date: 20 June 2017

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

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

Cited In (48)

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

This page was built for publication: Computational techniques for hybrid system verification

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