Pages that link to "Item:Q5703927"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5703927):
Displayed 50 items.
- PHAVer (Q16309) (← links)
- Modelling and analysing neural networks using a hybrid process algebra (Q264526) (← links)
- Hybrid automata as a modelling approach in the behavioural sciences (Q271714) (← links)
- Reachability analysis of linear systems with stepwise constant inputs (Q271719) (← links)
- Efficient constraint/generator removal from double description of polyhedra (Q281283) (← links)
- Reachability and observability reduction for linear switched systems with constrained switching (Q340659) (← links)
- Safety verification for probabilistic hybrid systems (Q389835) (← links)
- Automatic synthesis of switching controllers for linear hybrid systems: safety control (Q391117) (← links)
- Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces (Q436418) (← links)
- SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata (Q479819) (← links)
- Verifying global start-up for a Möbius ring-oscillator (Q479839) (← links)
- Reachability computation for polynomial dynamical systems (Q526433) (← links)
- Computing reachable states for nonlinear biological models (Q533351) (← links)
- Monitoring of dynamic processes by rectangular hybrid automata (Q608376) (← links)
- Bisimulation conversion and verification procedure for goal-based control systems (Q633304) (← links)
- Fairness of transitions in diagnosability of discrete event systems (Q708892) (← 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)
- Hybrid automata-based CEGAR for rectangular hybrid systems (Q888464) (← links)
- HRELTL: a temporal logic for hybrid systems (Q897648) (← links)
- Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← links)
- Approximate simulation relations for hybrid systems (Q939013) (← links)
- Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking (Q947801) (← links)
- Post and pre-initialized stopwatch Petri nets: formal semantics and state space computation (Q1026394) (← 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)
- Computing differential invariants of hybrid systems as fixed points (Q1039853) (← links)
- Differential dynamic logic for hybrid systems (Q1040772) (← links)
- Formal verification and quantitative metrics of MPSoC data dynamics (Q1707342) (← links)
- A hybrid automata model of social networking addiction (Q1785868) (← links)
- A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration (Q2031413) (← links)
- On checking equivalence of simulation scripts (Q2035653) (← links)
- On the efficiency of convex polyhedra (Q2130564) (← links)
- Proving the existence of fair paths in infinite-state systems (Q2234061) (← links)
- Syntax and consistent equation semantics of hybrid Chi (Q2368698) (← links)
- Hybrid abstractions of affine systems (Q2496812) (← links)
- Numerically-aided deductive safety proof for a powertrain control system (Q2520674) (← links)
- Finite data-rate feedback stabilization of switched and hybrid linear systems (Q2628418) (← 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)
- Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi (Q2870190) (← links)
- Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (Q2949859) (← links)
- Composing Stability Proofs for Hybrid Systems (Q3172858) (← links)
- Rigorous Simulation-Based Analysis of Linear Hybrid Systems (Q3303914) (← links)
- Counterexample-Guided Refinement of Template Polyhedra (Q3303915) (← links)
- Proving the Correctness of the Implementation of a Control-Command Algorithm (Q3392923) (← links)
- Approximating Continuous Systems by Timed Automata (Q3506869) (← links)
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) (Q3541700) (← links)
- Towards Component Based Design of Hybrid Systems: Safety and Stability (Q3587253) (← links)