Pages that link to "Item:Q1856193"
From MaRDI portal
The following pages link to HyTech: A model checker for hybrid systems (Q1856193):
Displaying 50 items.
- HyTech (Q16310) (← links)
- Modelling and analysing neural networks using a hybrid process algebra (Q264526) (← links)
- Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey (Q271706) (← links)
- Hybrid automata as a modelling approach in the behavioural sciences (Q271714) (← links)
- Automatic synthesis of switching controllers for linear hybrid systems: safety control (Q391117) (← links)
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces (Q436418) (← links)
- Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets (Q442295) (← links)
- Linear temporal logic symbolic model checking (Q465680) (← links)
- Parameter synthesis for hierarchical concurrent real-time systems (Q488231) (← links)
- Reachability computation for polynomial dynamical systems (Q526433) (← links)
- A Kleene-Schützenberger theorem for weighted timed automata (Q631775) (← links)
- Bisimulation conversion and verification procedure for goal-based control systems (Q633304) (← links)
- The algorithmic analysis of hybrid systems (Q673868) (← links)
- Modular and visual specification of hybrid systems: An introduction to HyCharts (Q698433) (← links)
- \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability (Q832203) (← links)
- Formal verification of real-time systems with preemptive scheduling (Q844238) (← links)
- Action language verifier: An infinite-state model checker for reactive software specifications (Q845244) (← links)
- Some ways to reduce the space dimension in polyhedra computations (Q853727) (← links)
- Specification and analysis of the AER/NCA active network protocol suite in real-time Maude (Q862853) (← links)
- Hybridization methods for the analysis of nonlinear systems (Q868432) (← links)
- Parametric probabilistic transition systems for system design and analysis (Q877158) (← links)
- Semantics and pragmatics of real-time maude (Q880982) (← links)
- HySAT: An efficient proof engine for bounded model checking of hybrid systems (Q883144) (← links)
- Hybrid automata-based CEGAR for rectangular hybrid systems (Q888464) (← links)
- Hybrid automata, reachability, and systems biology (Q969180) (← links)
- Hybrid dynamics of stochastic programs (Q969181) (← links)
- An algebra of hybrid systems (Q1001892) (← links)
- Event-driven optimization-based control of hybrid systems with integral continuous-time dynamics (Q1023146) (← links)
- Don't care words with an application to the automata-based approach for real addition (Q1028730) (← links)
- Applications of polyhedral computations to the analysis and verification of hardware and software systems (Q1035700) (← links)
- Hybrid systems: From verification to falsification by combining motion planning and discrete search (Q1039839) (← links)
- Computing differential invariants of hybrid systems as fixed points (Q1039853) (← links)
- What's decidable about hybrid automata? (Q1273866) (← links)
- Approximating labelled Markov processes (Q1398379) (← links)
- The power of reachability testing for timed automata (Q1399974) (← links)
- Specification of real-time and hybrid systems in rewriting logic (Q1608921) (← links)
- Process algebra for hybrid systems (Q1781998) (← links)
- A hybrid automata model of social networking addiction (Q1785868) (← links)
- Is your model checker on time? On the complexity of model checking for timed modal logics (Q1858436) (← links)
- Positive loop-closed automata: A decidable class of hybrid systems (Q1858439) (← links)
- Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice (Q1884863) (← links)
- Updatable timed automata (Q1885906) (← links)
- Discrete-time control for rectangular hybrid automata (Q1960531) (← links)
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration (Q2031413) (← links)
- On checking equivalence of simulation scripts (Q2035653) (← links)
- A receding horizon event-driven control strategy for intelligent traffic management (Q2058578) (← links)
- Computing branching distances with quantitative games (Q2210522) (← links)
- A compositional modelling and analysis framework for stochastic hybrid systems (Q2248073) (← links)
- Modeling and simulation of cardiac tissue using hybrid I/O automata (Q2271452) (← links)
