scientific article; zbMATH DE number 1444339

Thao Dang, Eugene Asarin, Oded Maler, Olivier Bournez

Publication date: 21 June 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Related Items (67)

A discrete-event model of asynchronous quantised systems ⋮ Syntax and consistent equation semantics of hybrid Chi ⋮ Counterexample-guided predicate abstraction of hybrid systems ⋮ Finite data-rate feedback stabilization of switched and hybrid linear systems ⋮ Algorithmic analysis of polygonal hybrid systems. I: Reachability ⋮ Verification of Hybrid Systems ⋮ Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems ⋮ Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming ⋮ Conservative time discretization: a comparative study ⋮ Hybridization methods for the analysis of nonlinear systems ⋮ Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems ⋮ Formal Modelling, Analysis and Verification of Hybrid Systems ⋮ A novel unified framework for solving reachability and invariance problems ⋮ Approximating Continuous Systems by Timed Automata ⋮ Modular discrete time approximations of distributed hybrid automata ⋮ Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems ⋮ Switching controller synthesis for delay hybrid systems under perturbations ⋮ Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions ⋮ Finite-time stability and stabilisation with polyhedral domains for linear systems ⋮ A control problem for affine dynamical systems on a full-dimensional polytope. ⋮ Succinct discrete time approximations of distributed hybrid automata ⋮ Accurate hybridization of nonlinear systems ⋮ Compositional analysis for linear control systems ⋮ On integration of event-based estimation and robust MPC in a feedback loop ⋮ From synchronous programs to symbolic representations of hybrid systems ⋮ A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems ⋮ Timed automata with observers under energy constraints ⋮ Real-time scheduling of mixture-of-experts systems with limited resources ⋮ On a control algorithm for time-varying processor availability ⋮ Timed I/O automata ⋮ Receding horizon control for temporal logic specifications ⋮ Synthesis using approximately bisimilar abstractions ⋮ Oscillation analysis of linearly coupled piecewise affine systems ⋮ On infinity norms as Lyapunov functions for piecewise affine systems ⋮ Identifiability of discrete-time linear switched systems ⋮ Rank properties of poincare maps for hybrid systems with applications to bipedal walking ⋮ Stealthy deception attacks on water SCADA systems ⋮ Comparison of overapproximation methods for stability analysis of networked control systems ⋮ Distributed Kalman Filter algorithms for self-localization of mobile devices ⋮ Convergence results for ant routing algorithms viastochastic approximation ⋮ Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems ⋮ Automatic invariant generation for hybrid systems using ideal fixed points ⋮ Safe compositional network sketches ⋮ Bayesian statistical model checking with application to Simulink/Stateflow verification ⋮ On the connections between PCTL and dynamic programming ⋮ Modeling and verification of stochastic hybrid systems using HIOA ⋮ A generating function approach to the stability of discrete-time switched linear systems ⋮ Stabilization of planar switched linear systems using polar coordinates ⋮ Amir Pnueli and the dawn of hybrid systems ⋮ Understanding deadlock and livelock behaviors in hybrid control systems ⋮ An invariant-based approach to the design of hybrid control systems ⋮ Quantifier-free encoding of invariants for hybrid systems ⋮ Reachability and stabilization of discrete-time affine systems with disturbances ⋮ Provably safe and robust learning-based model predictive control ⋮ Approximate bisimulation relations for constrained linear systems ⋮ Hybrid Automata in Systems Biology: How Far Can We Go? ⋮ Construction of parametric barrier functions for dynamical systems using interval analysis ⋮ An approximation algorithm for box abstraction of transition systems on real state spaces ⋮ Reachability computation for polynomial dynamical systems ⋮ Computing reachable states for nonlinear biological models ⋮ Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques ⋮ Reachability analysis of linear systems using support functions ⋮ Computing reachable sets for uncertain nonlinear monotone systems ⋮ Discrete-time hybrid modeling and verification of the batch evaporator process benchmark ⋮ Parameter Synthesis Through Temporal Logic Specifications ⋮ Trajectory Based Verification Using Local Finite-Time Invariance ⋮ Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)

Uses Software

This page was built for publication: