The following pages link to (Q4503930):
Displaying 50 items.
- Modelling and analysing neural networks using a hybrid process algebra (Q264526) (← links)
- Stability and robustness of planar switching linear systems (Q360665) (← links)
- CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems (Q397407) (← links)
- Low dimensional hybrid systems -- decidable, undecidable, don't know (Q418141) (← links)
- Modular discrete time approximations of distributed hybrid automata (Q418807) (← links)
- Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces (Q436418) (← links)
- Repairing time-determinism in the process algebra for hybrid systems (Q442292) (← links)
- Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets (Q442295) (← links)
- Computational challenges in systems biology (Q458470) (← links)
- Control: a perspective (Q463779) (← links)
- Computational models for networks of tiny artifacts: a survey (Q465666) (← links)
- HYPE: hybrid modelling by composition of flows (Q470011) (← links)
- SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata (Q479819) (← links)
- Finite controlled invariants for sampled switched systems (Q487251) (← links)
- Bond graph modelling of hard nonlinearities in mechanics: a hybrid approach (Q534401) (← links)
- Design of a robust fault detection based observer for linear switched systems with external disturbances (Q547895) (← links)
- Fixing Zeno gaps (Q549197) (← links)
- A Kleene-Schützenberger theorem for weighted timed automata (Q631775) (← links)
- Weighted o-minimal hybrid systems (Q636266) (← links)
- Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change (Q656853) (← links)
- Robustness of temporal logic specifications for continuous-time signals (Q732015) (← links)
- Reasoning about goal-directed real-time teleo-reactive programs (Q736794) (← links)
- Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application (Q736916) (← links)
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers (Q779625) (← links)
- Using formal verification to evaluate the execution time of Spark applications (Q782497) (← links)
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction (Q832097) (← links)
- Hybrid automata-based CEGAR for rectangular hybrid systems (Q888464) (← links)
- Implementing biological hybrid systems: allowing composition and avoiding stiffness (Q907533) (← links)
- Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking (Q947801) (← links)
- Hybrid observer design for linear switched system via differential Petri nets (Q963759) (← links)
- Detecting synchronisation of biological oscillators by model checking (Q969176) (← links)
- Hybrid automata, reachability, and systems biology (Q969180) (← links)
- Inclusion dynamics hybrid automata (Q999262) (← links)
- An algebra of hybrid systems (Q1001892) (← links)
- Event-driven optimization-based control of hybrid systems with integral continuous-time dynamics (Q1023146) (← 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)
- Reachability and connectivity queries in constraint databases (Q1394800) (← links)
- Timed automata and additive clock constraints (Q1583056) (← links)
- Some problems of analysis of hybrid automata (Q1616244) (← links)
- Dynamic-model-based switched proportional-integral state observer design and traffic density estimation for urban freeway (Q1631265) (← links)
- When are stochastic transition systems tameable? (Q1648646) (← links)
- Cyber-physical systems (Q1699390) (← links)
- Formal verification and quantitative metrics of MPSoC data dynamics (Q1707342) (← links)
- Symbolic checking of fuzzy CTL on fuzzy program graph (Q1713411) (← links)
- Asymptotic properties of Zeno solutions (Q1730344) (← links)
- Event-driven optimal control for a robotic exploration, pick-up and delivery problem (Q1730345) (← links)
- Hybrid process algebra (Q1763160) (← links)
- Control-invariance of hybrid systems with forcible events (Q1776418) (← links)
