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