Pages that link to "Item:Q673868"
From MaRDI portal
The following pages link to The algorithmic analysis of hybrid systems (Q673868):
Displaying 50 items.
- Linearization of hybrid processes (Q2368694) (← 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)
- Algorithmic analysis of polygonal hybrid systems. I: Reachability (Q2373713) (← links)
- Model measuring for discrete and hybrid systems (Q2374564) (← links)
- Automata-based analysis of stage suspended boom systems (Q2375655) (← links)
- On the expressiveness and decidability of o-minimal hybrid systems (Q2387414) (← links)
- Switched discrete-time systems with time-varying delays: A generalized \(\mathcal H_2\)-approach (Q2389079) (← links)
- Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans (Q2422015) (← links)
- Hybrid systems: Modelling and analysis using emergent dynamics (Q2460412) (← links)
- Taylor approximation for hybrid systems (Q2461793) (← links)
- Abstractions for hybrid systems (Q2475634) (← links)
- Monotonic hybrid systems (Q2486564) (← links)
- Hybrid port--Hamiltonian systems: from parameterized incidence matrices to hybrid automata (Q2496810) (← links)
- Optimal persistent disturbance attenuation control for linear hybrid systems (Q2496817) (← links)
- Discrete-time hybrid modeling and verification of the batch evaporator process benchmark (Q2512159) (← links)
- Computing efficient operation schemes for chemical plants in multi-batch mode (Q2512166) (← links)
- Symbolic verification of hybrid systems: an algebraic approach (Q2512180) (← links)
- The complementarity class of hybrid dynamical systems (Q2512290) (← links)
- A formal framework for Hybrid Event B (Q2520616) (← links)
- Monitoring bounded LTL properties using interval analysis (Q2520682) (← links)
- On time optimal control of integrator switched systems with state constraints (Q2572189) (← links)
- Bifurcation in a system of imnteracting fronts (Q2574165) (← links)
- Task automata: Schedulability, decidability and undecidability (Q2643078) (← links)
- Denotational semantics of hybrid automata (Q2643331) (← links)
- Modeling and analysis using hybrid Petri nets (Q2643424) (← links)
- Polynomial interrupt timed automata: verification and expressiveness (Q2662502) (← links)
- Formal controller synthesis from specifications given by discrete-time hybrid automata (Q2665407) (← links)
- The refinement calculus of reactive systems (Q2672236) (← links)
- Geometric control of hybrid systems (Q2677099) (← links)
- Compositionality issues in discrete, continuous, and hybrid systems (Q2716781) (← links)
- Zeno hybrid systems (Q2716782) (← links)
- Parking can get you there faster: model augmentation to speed up real-time model checking (Q2842586) (← links)
- Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants (Q2842646) (← links)
- A modular formal semantics for Ptolemy (Q2843863) (← links)
- Rigorous implementation of real-time systems -- from theory to application (Q2843865) (← links)
- Bounded model checking with parametric data structures (Q2864380) (← links)
- Towards an efficient path-oriented tool for bounded reachability analysis of linear hybrid systems using linear programming (Q2864385) (← links)
- Relating hybrid chi to other formalisms (Q2864397) (← links)
- Stochastic concurrent constraint programming and differential equations (Q2870282) (← links)
- Some decidable results on reachability of solvable systems (Q2871582) (← links)
- Verification and Control of Probabilistic Rectangular Hybrid Automata (Q2945577) (← links)
- Deciding Concurrent Planar Monotonic Linear Hybrid Systems (Q2945600) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232) (← links)
- Fault-tolerant continuous flow systems modelling (Q2974250) (← links)
- 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 (Q3011106) (← links)
- Programming with Infinitesimals: A While-Language for Hybrid System Modeling (Q3012935) (← links)
