Pages that link to "Item:Q1273866"
From MaRDI portal
The following pages link to What's decidable about hybrid automata? (Q1273866):
Displaying 50 items.
- Timed recursive state machines: expressiveness and complexity (Q264999) (← links)
- Reachability analysis of linear systems with stepwise constant inputs (Q271719) (← links)
- Computation with perturbed dynamical systems (Q355515) (← links)
- Safety verification for probabilistic hybrid systems (Q389835) (← links)
- Automatic synthesis of switching controllers for linear hybrid systems: safety control (Q391117) (← links)
- Modular discrete time approximations of distributed hybrid automata (Q418807) (← links)
- Bisimulations for fuzzy automata (Q423147) (← links)
- Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets (Q442295) (← links)
- Interrupt timed automata: verification and expressiveness (Q453513) (← links)
- Finite-state automata in information technologies (Q464949) (← links)
- SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata (Q479819) (← links)
- Qualitative fault tolerance analysis for a class of hybrid systems (Q534384) (← links)
- Monitoring of dynamic processes by rectangular hybrid automata (Q608376) (← links)
- On the greatest solutions to weakly linear systems of fuzzy relation inequalities and equations (Q622073) (← links)
- Computation of the greatest simulations and bisimulations between fuzzy automata (Q690916) (← links)
- Spotlight abstraction in model checking real-time task schedulability (Q832017) (← links)
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction (Q832097) (← links)
- 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)
- Nondeterministic automata: equivalence, bisimulations, and uniform relations (Q903611) (← links)
- Computational bounds on polynomial differential equations (Q1036531) (← links)
- A semi-algebraic approach for asymptotic stability analysis (Q1036644) (← links)
- Decision problems for lower/upper bound parametric timed automata (Q1041291) (← links)
- Verification of duration systems using an approximation approach (Q1429422) (← links)
- Symbolic checking of fuzzy CTL on fuzzy program graph (Q1713411) (← links)
- Verification and control for probabilistic hybrid automata with finite bisimulations (Q1734511) (← links)
- Positive loop-closed automata: A decidable class of hybrid systems (Q1858439) (← links)
- A study on shuffle, stopwatches and independently evolving clocks (Q1938360) (← links)
- PTIME parametric verification of safety properties for reasonable linear hybrid automata (Q1949771) (← links)
- A receding horizon event-driven control strategy for intelligent traffic management (Q2058578) (← links)
- Revisiting reachability in polynomial interrupt timed automata (Q2059890) (← links)
- Costs and rewards in priced timed automata (Q2064528) (← links)
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro} (Q2105429) (← links)
- Decisiveness of stochastic systems and its application to hybrid models (Q2105467) (← links)
- Event-B refinement for continuous behaviours approximation (Q2147212) (← links)
- A dynamic quantized state system execution framework for hybrid automata (Q2178226) (← links)
- Symbolic unfolding of parametric stopwatch Petri nets (Q2248088) (← links)
- Safety verification of non-linear hybrid systems is quasi-decidable (Q2248097) (← links)
- Approximate equivalence of the hybrid automata with Taylor theory (Q2336779) (← links)
- Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques (Q2343139) (← links)
- Finite abstraction of mixed monotone systems with discrete and continuous inputs (Q2374568) (← links)
- Automata-based analysis of stage suspended boom systems (Q2375655) (← links)
- On the expressiveness and decidability of o-minimal hybrid systems (Q2387414) (← links)
- Taylor approximation for hybrid systems (Q2461793) (← links)
- Formal verification of multitasking applications based on timed automata model (Q2475307) (← links)
- Abstractions for hybrid systems (Q2475634) (← links)
- Optimal persistent disturbance attenuation control for linear hybrid systems (Q2496817) (← links)
- Numerically-aided deductive safety proof for a powertrain control system (Q2520674) (← links)
- On time optimal control of integrator switched systems with state constraints (Q2572189) (← links)
