Pages that link to "Item:Q673868"
From MaRDI portal
The following pages link to The algorithmic analysis of hybrid systems (Q673868):
Displayed 50 items.
- Hybridization methods for the analysis of nonlinear systems (Q868432) (← links)
- Symbolic models for control systems (Q868433) (← links)
- Semantics and pragmatics of real-time maude (Q880982) (← links)
- Reachability problems and abstract state spaces for time Petri nets with stopwatches (Q884758) (← links)
- Timed discrete event control of parallel production lines with continuous outputs (Q939012) (← links)
- Approximate simulation relations for hybrid systems (Q939013) (← links)
- Inclusion dynamics hybrid automata (Q999262) (← links)
- An algebra of hybrid systems (Q1001892) (← links)
- First-order hybrid Petri nets. An application to distributed manufacturing systems (Q1003528) (← links)
- Approximate equivalence and synchronization of metric transition systems (Q1004092) (← 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)
- A brief history of process algebra (Q1781995) (← links)
- Process algebra for hybrid systems (Q1781998) (← 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)
- 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)
- Algorithmic analysis of polygonal hybrid systems. I: Reachability (Q2373713) (← links)
- On the expressiveness and decidability of o-minimal hybrid systems (Q2387414) (← 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)
- 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)
- Compositionality issues in discrete, continuous, and hybrid systems (Q2716781) (← links)
- Zeno hybrid systems (Q2716782) (← links)
- Reachability and optimal control for linear hybrid automata: a quantifier elimination approach (Q3447004) (← links)
- Automated Reasoning for Hybrid Systems — Two Case Studies — (Q3498414) (← links)
- Approximating Continuous Systems by Timed Automata (Q3506869) (← links)