The following pages link to (Q4763590):
Displaying 40 items.
- A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor global fixed-priority scheduling (Q283177) (← links)
- Model checking learning agent systems using Promela with embedded C code and abstraction (Q333329) (← links)
- Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems (Q440664) (← links)
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability (Q475431) (← links)
- The algorithmic analysis of hybrid systems (Q673868) (← links)
- Toward unified analysis and controller synthesis for a class of hybrid systems (Q854127) (← links)
- Reliable social sensing with physical constraints: analytic bounds and performance evaluation (Q892996) (← links)
- Differential dynamic logic for hybrid systems (Q1040772) (← links)
- From ATP to timed graphs and hybrid systems (Q1323313) (← links)
- Duration calculus: Logical foundations (Q1377324) (← links)
- A theory of discontinuities in physical system models (Q1388999) (← links)
- Verification of clocked and hybrid systems (Q1579058) (← links)
- A comprehensive methodology for building hybrid models of physical systems (Q1583236) (← links)
- Some problems of analysis of hybrid automata (Q1616244) (← links)
- The existence and stability analyses of periodic orbits in 3-dimensional piecewise affine systems (Q1690498) (← links)
- Hybrid diagrams (Q1853604) (← links)
- Decidable integration graphs. (Q1854273) (← links)
- Continuous modeling of real-time and hybrid systems: From concepts to tools (Q1856190) (← links)
- HyTech: A model checker for hybrid systems (Q1856193) (← links)
- Positive loop-closed automata: A decidable class of hybrid systems (Q1858439) (← links)
- Decidable hybrid systems (Q1922203) (← links)
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude (Q1951606) (← links)
- Linearization of hybrid processes (Q2368694) (← links)
- Monotonic hybrid systems (Q2486564) (← links)
- Optimal control of discrete-time hybrid automata under safety and liveness constraints (Q2496814) (← links)
- Control design for autonomous vehicles: a dynamic optimization perspective (Q2512146) (← links)
- Discrete-time hybrid modeling and verification of the batch evaporator process benchmark (Q2512159) (← links)
- Symbolic verification of hybrid systems: an algebraic approach (Q2512180) (← links)
- On Reachability for Hybrid Automata over Bounded Time (Q3012937) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Expressive power of hybrid systems with real variables, integer variables and arrays (Q3517258) (← links)
- (Q4515282) (← links)
- Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations (Q4571986) (← links)
- Hybrid automata with finite bisimulations (Q4645189) (← links)
- Uniformity for the decidability of hybrid automata (Q5030200) (← links)
- Hybrid diagrams: A deductive-algorithmic approach to hybrid system verification (Q5047167) (← links)
- Formal language properties of hybrid systems with strong resets (Q5190079) (← links)
- A Synthesis Algorithm for Hybrid Systems (Q5434512) (← links)
- Hybrid Systems: Computation and Control (Q5703927) (← links)
- Proving sequential function chart programs using timed automata (Q5958730) (← links)
