Pages that link to "Item:Q5307932"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5307932):
Displaying 26 items.
- Dispatch sequences for embedded control models (Q858316) (← links)
- Hybrid automata-based CEGAR for rectangular hybrid systems (Q888464) (← links)
- Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes (Q988780) (← links)
- Hybrid systems: From verification to falsification by combining motion planning and discrete search (Q1039839) (← links)
- Approximate partial order reduction (Q2024376) (← links)
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration (Q2031413) (← links)
- Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing (Q2060886) (← links)
- Dynamic event-triggered \(\mathcal{L}_\infty\) control for switched affine systems with sampled-data switching (Q2061231) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro} (Q2105429) (← links)
- PPLite: zero-overhead encoding of NNC polyhedra (Q2216124) (← links)
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems (Q2377974) (← links)
- Taylor approximation for hybrid systems (Q2461793) (← links)
- Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (Q2949859) (← links)
- S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems (Q3000653) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- (Q3384178) (← links)
- Proving the Correctness of the Implementation of a Control-Command Algorithm (Q3392923) (← links)
- A Policy Iteration Technique for Time Elapse over Template Polyhedra (Q3523151) (← links)
- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems (Q3540072) (← links)
- Robust Test Generation and Coverage for Hybrid Systems (Q3612982) (← links)
- Falsification of LTL Safety Properties in Hybrid Systems (Q3617769) (← links)
- Automated Technology for Verification and Analysis (Q5394195) (← links)
- Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations (Q5418954) (← links)
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra (Q5458327) (← links)
- Model reduction of switched affine systems (Q5890723) (← links)
