The following pages link to PHAVer (Q16309):
Displaying 50 items.
- 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)
- Time-triggered conversion of guards for reachability analysis of hybrid automata (Q1683445) (← links)
- Bellerophon: tactical theorem proving for hybrid systems (Q1687737) (← links)
- Formal verification and quantitative metrics of MPSoC data dynamics (Q1707342) (← links)
- A hybrid automata model of social networking addiction (Q1785868) (← links)
- Optimal and robust controller synthesis using energy timed automata with uncertainty (Q1996422) (← 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)
- Lie symmetries applied to interval integration (Q2166013) (← links)
- Refinements of behavioural abstractions for the supervisory control of hybrid systems (Q2197592) (← links)
- PPLite: zero-overhead encoding of NNC polyhedra (Q2216124) (← links)
- A compositional modelling and analysis framework for stochastic hybrid systems (Q2248073) (← 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)
- Almost ASAP semantics: from timed models to timed implementations (Q2576589) (← links)
- Finite data-rate feedback stabilization of switched and hybrid linear systems (Q2628418) (← links)
- Optimal semicomputable approximations to reachable and invariant sets (Q2642902) (← links)
- (Q2863862) (← 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)
