Pages that link to "Item:Q673868"
From MaRDI portal
The following pages link to The algorithmic analysis of hybrid systems (Q673868):
Displaying 37 items.
- Numerical bifurcation analysis of the bipedal spring-mass model (Q282226) (← links)
- On the decidability and complexity of problems for restricted hierarchical hybrid systems (Q338386) (← links)
- Recent advances in program verification through computer algebra (Q351971) (← links)
- Safety verification for probabilistic hybrid systems (Q389835) (← links)
- A game-theoretic approach to fault diagnosis and identification of hybrid systems (Q391104) (← links)
- Low dimensional hybrid systems -- decidable, undecidable, don't know (Q418141) (← links)
- Applying abstract acceleration to (co-)reachability analysis of reactive programs (Q435977) (← links)
- Non-standard semantics of hybrid systems modelers (Q439952) (← links)
- Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems (Q440664) (← links)
- Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets (Q442295) (← links)
- Interrupt timed automata: verification and expressiveness (Q453513) (← links)
- Computational challenges in systems biology (Q458470) (← links)
- Control: a perspective (Q463779) (← links)
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability (Q475431) (← links)
- SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata (Q479819) (← links)
- Barrier certificates revisited (Q507352) (← links)
- On the distinguishability and observer design for single-input single-output continuous-time switched affine systems under bounded disturbances with application to chaos-based modulation (Q518912) (← links)
- Computing reachable states for nonlinear biological models (Q533351) (← links)
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement (Q533361) (← links)
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques (Q547885) (← links)
- A Kleene-Schützenberger theorem for weighted timed automata (Q631775) (← links)
- Weighted o-minimal hybrid systems (Q636266) (← links)
- Automata and logics over finitely varying functions (Q636272) (← links)
- Robustness of temporal logic specifications for continuous-time signals (Q732015) (← links)
- On fluidization of discrete event models: Observation and control of continuous Petri nets (Q763410) (← links)
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers (Q779625) (← links)
- Applications of MetiTarski in the Verification of Control and Hybrid Systems (Q3624557) (← links)
- Topologies, Continuity and Bisimulations (Q4943548) (← links)
- Wireless ventilation control for large‐scale systems: The mining industrial case (Q4981811) (← links)
- (Q5005123) (← links)
- Hybrid diagrams: A deductive-algorithmic approach to hybrid system verification (Q5047167) (← links)
- Efficient scaling-invariant checking of timed bisimulation (Q5047170) (← links)
- (Q5089282) (← links)
- Hybrid Automata in Systems Biology: How Far Can We Go? (Q5404076) (← links)
- Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp> (Q5408048) (← links)
- Time distance-based computation of the \textit{DBM} over-approximation of preemptive real-time systems (Q6151616) (← links)
- Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems (Q6175620) (← links)
