scientific article; zbMATH DE number 1263213
From MaRDI portal
Publication:4234084
Recommendations
Cited in
(81)- Hybrid systems: From verification to falsification by combining motion planning and discrete search
- What's decidable about hybrid automata?
- Straightening out rectangular differential inclusions
- The power of reachability testing for timed automata
- Timed automata and additive clock constraints
- Product interval automata
- Decidable integration graphs.
- Positive loop-closed automata: A decidable class of hybrid systems
- Decidable hybrid systems
- Discrete-time control for rectangular hybrid automata
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- Parameter synthesis of polynomial dynamical systems
- Zone-based verification of timed automata: extrapolations, simulations and what next?
- A decidable class of planar linear hybrid systems
- Algorithmic analysis of polygonal hybrid systems. I: Reachability
- Model measuring for discrete and hybrid systems
- On the optimal reachability problem of weighted timed automata
- \(\epsilon\)-semantics computations on biological systems
- Cancer hybrid automata: model, beliefs and therapy
- Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools
- On model-checking timed automata with stopwatch observers
- Theorem of abstraction for equivalent controllers in hybrid systems
- Modeling and analysis using hybrid Petri nets
- Deciding concurrent planar monotonic linear hybrid systems
- Formal modelling, analysis and verification of hybrid systems
- What's decidable about recursive hybrid automata?
- Model checking the quantitative \(\mu \)-calculus on linear hybrid systems
- On reachability for hybrid automata over bounded time
- Counterexample-Guided Refinement of Template Polyhedra
- On the decidability and complexity of problems for restricted hierarchical hybrid systems
- The Birth of Model Checking
- STORMED Hybrid Systems
- Decidable Compositions of O-Minimal Automata
- Falsification of LTL Safety Properties in Hybrid Systems
- Periodically Controlled Hybrid Systems
- STORMED Hybrid Games
- Automatic synthesis of switching controllers for linear hybrid systems: safety control
- A survey of timed automata for the development of real-time systems
- Low dimensional hybrid systems -- decidable, undecidable, don't know
- scientific article; zbMATH DE number 1301631 (Why is no real title available?)
- Supervisory target control for hybrid systems
- scientific article; zbMATH DE number 1538038 (Why is no real title available?)
- scientific article; zbMATH DE number 1759608 (Why is no real title available?)
- Discrete-time control for rectangular hybrid automata
- Control: a perspective
- Hybrid automata with finite bisimulations
- HYPE: hybrid modelling by composition of flows
- scientific article; zbMATH DE number 1444359 (Why is no real title available?)
- Approximated reachability on hybrid automata: falsification meets certification
- Uniformity for the decidability of hybrid automata
- Abstractions Refinement for Hybrid Systems Diagnosability Analysis
- Time-bounded reachability for monotonic hybrid automata: complexity and fixed points
- Challenges in Constraint-Based Analysis of Hybrid Systems
- Why These Automata Types?
- Differential game logic
- Model checking of biological systems
- Hybrid Automata in Systems Biology: How Far Can We Go?
- Weak singular hybrid automata
- scientific article; zbMATH DE number 2242595 (Why is no real title available?)
- The Power of Hybrid Acceleration
- Hybrid acceleration using real vector automata (extended abstract)
- Deciding stability and mortality of piecewise affine dynamical systems
- Symbolic reachability computation for families of linear vector fields
- A polynomial-time algorithm for checking equivalence under certain semiring congruences motivated by the state-space isomorphism problem for hybrid systems
- Asynchronous correspondences between hybrid trajectory semantics
- State equivalences for rectangular hybrid automata
- Switching controller synthesis for delay hybrid systems under perturbations
- Weighted o-minimal hybrid systems
- Specifications for decidable hybrid games
- Design of controllers for linear hybrid systems
- Reachability analysis of a class of hybrid gene regulatory networks
- The algorithmic analysis of hybrid systems
- Indistinguishability in localization and control with coarse information
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers
- Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology
- HySAT: An efficient proof engine for bounded model checking of hybrid systems
- Reachability problems and abstract state spaces for time Petri nets with stopwatches
- Hybrid automata-based CEGAR for rectangular hybrid systems
- Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking
- Hybrid automata, reachability, and systems biology
- Inclusion dynamics hybrid automata
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 Q4234084)
