Pages that link to "Item:Q673868"
From MaRDI portal
The following pages link to The algorithmic analysis of hybrid systems (Q673868):
Displaying 50 items.
- Hybrid systems: From verification to falsification by combining motion planning and discrete search (Q1039839) (← links)
- Coverage-guided test generation for continuous and hybrid systems (Q1039844) (← links)
- What's decidable about hybrid automata? (Q1273866) (← links)
- Achilles and the tortoise climbing up the hyper-arithmetical hierarchy (Q1274806) (← links)
- On the computational power of dynamical systems and hybrid systems (Q1349871) (← links)
- Hybrid I/O automata. (Q1427865) (← links)
- Verification of duration systems using an approximation approach (Q1429422) (← links)
- Object-oriented hybrid systems of coalgebras plus monoid actions (Q1575271) (← links)
- Refinement of time (Q1589580) (← links)
- Specification of real-time and hybrid systems in rewriting logic (Q1608921) (← links)
- Mode discernibility and bounded-error state estimation for nonlinear hybrid systems (Q1641053) (← links)
- Observer synthesis for linear hybrid systems with constrained discrete dynamics (Q1680834) (← links)
- Verification and control for probabilistic hybrid automata with finite bisimulations (Q1734511) (← links)
- A brief history of process algebra (Q1781995) (← links)
- Process algebra for hybrid systems (Q1781998) (← links)
- Languages and models for hybrid automata: a coalgebraic perspective (Q1786567) (← links)
- Safe \& robust reachability analysis of hybrid systems (Q1786614) (← links)
- Limit cycle analysis in a class of hybrid systems (Q1792923) (← links)
- Hybrid diagrams (Q1853604) (← links)
- Decidable integration graphs. (Q1854273) (← links)
- An algebraic framework for urgency (Q1854390) (← links)
- Positive loop-closed automata: A decidable class of hybrid systems (Q1858439) (← links)
- Decidable hybrid systems (Q1922203) (← links)
- Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations (Q1960526) (← links)
- Discrete-time control for rectangular hybrid automata (Q1960531) (← links)
- A receding horizon event-driven control strategy for intelligent traffic management (Q2058578) (← links)
- Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing (Q2060886) (← links)
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro} (Q2105429) (← links)
- Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming (Q2105455) (← links)
- Decisiveness of stochastic systems and its application to hybrid models (Q2105467) (← links)
- Timed network games (Q2112796) (← links)
- Bisimulation for Feller-Dynkin processes (Q2133163) (← links)
- Event-B refinement for continuous behaviours approximation (Q2147212) (← links)
- Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming (Q2165452) (← links)
- An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems (Q2178193) (← links)
- Sum-of-squares methods for controlled invariant sets with applications to model-predictive control (Q2178207) (← links)
- A dynamic quantized state system execution framework for hybrid automata (Q2178226) (← links)
- Observer design for linear hybrid systems with unknown inputs and Petri-net discrete dynamics (Q2178231) (← links)
- Computing branching distances with quantitative games (Q2210522) (← links)
- An approximation algorithm for box abstraction of transition systems on real state spaces (Q2248056) (← links)
- A compositional modelling and analysis framework for stochastic hybrid systems (Q2248073) (← links)
- A decidable class of planar linear hybrid systems (Q2257303) (← links)
- Approximate equivalence of the hybrid automata with Taylor theory (Q2336779) (← links)
- Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques (Q2343139) (← links)
- Generating invariants for non-linear hybrid systems (Q2355695) (← links)
- Continuity controlled hybrid automata (Q2368692) (← links)
- Compositional modeling and refinement for hierarchical hybrid systems (Q2368695) (← links)
- Syntax and consistent equation semantics of hybrid Chi (Q2368698) (← links)
- Counterexample-guided predicate abstraction of hybrid systems (Q2368954) (← links)
- Schedulability analysis of fixed-priority systems using timed automata (Q2368958) (← links)
