The following pages link to (Q4234084):
Displaying 50 items.
- On the decidability and complexity of problems for restricted hierarchical hybrid systems (Q338386) (← links)
- Automatic synthesis of switching controllers for linear hybrid systems: safety control (Q391117) (← links)
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Low dimensional hybrid systems -- decidable, undecidable, don't know (Q418141) (← links)
- Control: a perspective (Q463779) (← links)
- HYPE: hybrid modelling by composition of flows (Q470011) (← links)
- Weighted o-minimal hybrid systems (Q636266) (← links)
- Specifications for decidable hybrid games (Q650914) (← links)
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers (Q779625) (← links)
- Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology (Q843992) (← links)
- HySAT: An efficient proof engine for bounded model checking of hybrid systems (Q883144) (← links)
- Reachability problems and abstract state spaces for time Petri nets with stopwatches (Q884758) (← links)
- Hybrid automata-based CEGAR for rectangular hybrid systems (Q888464) (← links)
- Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking (Q947801) (← links)
- Hybrid automata, reachability, and systems biology (Q969180) (← links)
- Inclusion dynamics hybrid automata (Q999262) (← links)
- Hybrid systems: From verification to falsification by combining motion planning and discrete search (Q1039839) (← links)
- Straightening out rectangular differential inclusions (Q1274877) (← links)
- The power of reachability testing for timed automata (Q1399974) (← links)
- Timed automata and additive clock constraints (Q1583056) (← links)
- Product interval automata (Q1847544) (← links)
- Decidable integration graphs. (Q1854273) (← links)
- Decidable hybrid systems (Q1922203) (← links)
- Discrete-time control for rectangular hybrid automata (Q1960531) (← links)
- A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)
- Parameter synthesis of polynomial dynamical systems (Q2105425) (← links)
- Zone-based verification of timed automata: extrapolations, simulations and what next? (Q2112098) (← links)
- A decidable class of planar linear hybrid systems (Q2257303) (← links)
- Algorithmic analysis of polygonal hybrid systems. I: Reachability (Q2373713) (← links)
- Model measuring for discrete and hybrid systems (Q2374564) (← links)
- On the optimal reachability problem of weighted timed automata (Q2385195) (← links)
- \(\epsilon\)-semantics computations on biological systems (Q2453211) (← links)
- Cancer hybrid automata: model, beliefs and therapy (Q2453217) (← links)
- Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools (Q2474069) (← links)
- On model-checking timed automata with stopwatch observers (Q2492187) (← links)
- Theorem of abstraction for equivalent controllers in hybrid systems (Q2568275) (← links)
- Modeling and analysis using hybrid Petri nets (Q2643424) (← links)
- Deciding Concurrent Planar Monotonic Linear Hybrid Systems (Q2945600) (← links)
- Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232) (← links)
- Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems (Q3012936) (← links)
- Counterexample-Guided Refinement of Template Polyhedra (Q3303915) (← links)
- The Birth of Model Checking (Q3512430) (← links)
- STORMED Hybrid Systems (Q3519497) (← links)
- Decidable Compositions of O-Minimal Automata (Q3540076) (← links)
- Falsification of LTL Safety Properties in Hybrid Systems (Q3617769) (← links)
- Periodically Controlled Hybrid Systems (Q3624588) (← links)
- STORMED Hybrid Games (Q3624600) (← links)
- Supervisory target control for hybrid systems (Q4459051) (← links)
- Discrete-time control for rectangular hybrid automata (Q4571988) (← links)
- Hybrid automata with finite bisimulations (Q4645189) (← links)
