Computational techniques for hybrid system verification

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

Alongkrit Chutinan, Bruce H. Krogh

Publication date: 20 June 2017

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

Mathematics Subject Classification ID

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
• 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
• Sampling-based Algorithm for Testing and Validating Robot Controllers
• 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
• Rigorous Simulation-Based Analysis of Linear Hybrid 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
• Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once
• 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
• Barriers and potentially safe sets in hybrid systems: pendulum with non-rigid cable
• Hybrid Systems: Computation and Control
• 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)