HyTech
From MaRDI portal
Cited in
(only showing first 100 items - show all)- An algebra of hybrid systems
- Event-driven optimization-based control of hybrid systems with integral continuous-time dynamics
- Post and pre-initialized stopwatch Petri nets: formal semantics and state space computation
- Don't care words with an application to the automata-based approach for real addition
- Applications of polyhedral computations to the analysis and verification of hardware and software systems
- Hybrid systems: From verification to falsification by combining motion planning and discrete search
- Computing differential invariants of hybrid systems as fixed points
- Differential dynamic logic for hybrid systems
- A quadratic-time DBM-based successor algorithm for checking timed automata
- Introduction to databases. From biological to spatio-temporal
- What's decidable about hybrid automata?
- Apron
- IMITATOR
- QEPCAD
- Sherlock
- Kaa
- Romeo
- SENAC
- SPeeDI
- A compared study of two correctness proofs for the standardized algorithm of ABR conformance
- Approximating labelled Markov processes
- The power of reachability testing for timed automata
- Kronos
- Pushdown timed automata: A binary reachability characterization and safety verification.
- Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol
- Fun with fireWire: A comparative study of formal verification methods applied to the IEEE 1394 root contention protocol
- Rabbit
- VINAS-P
- TREX
- TAXYS
- MoDeST
- Uppaal2k
- HySAT
- ToolBus
- MARCO
- TASS
- ECDAR
- ASTRAL
- MOTOR
- PARTS
- IF-2.0
- SCCP
- Deductive verification of real-time systems using STeP
- SPIN
- KeYmaera
- Specification of real-time and hybrid systems in rewriting logic
- SMART_
- PHAVer
- NuSMV
- SMV
- RSOLVER
- Benchmarks
- Time-triggered conversion of guards for reachability analysis of hybrid automata
- Uppaal
- Cyber-physical systems
- Formal verification and quantitative metrics of MPSoC data dynamics
- ARMC
- Aspic
- CADP
- HYSDEL
- PPL
- Process algebra for hybrid systems
- DREAM Tool
- A hybrid automata model of social networking addiction
- MONA
- MATISSE
- High-automation proofs for properties of requirements models
- Integrating tools in the ETI platform
- Interacting with ETI: A user session
- Continuous modeling of real-time and hybrid systems: From concepts to tools
- Is your model checker on time? On the complexity of model checking for timed modal logics
- Positive loop-closed automata: A decidable class of hybrid systems
- Automated verification of an audio-control protocol using UPPAAL
- Presburger liveness verification of discrete timed automata.
- Ariadne
- Constraint-based verification of parameterized cache coherence protocols
- Forward analysis of updatable timed automata
- Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice
- Updatable timed automata
- mctau
- HSolver
- Discrete-time control for rectangular hybrid automata
- Bandera
- Dynamical properties of timed automata
- Optimal and robust controller synthesis using energy timed automata with uncertainty
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
- On checking equivalence of simulation scripts
- A receding horizon event-driven control strategy for intelligent traffic management
- RunLim
- Bebop
- Parameter synthesis of polynomial dynamical systems
- On the efficiency of convex polyhedra
- MathSAT
- AutoMOTGen
- S-TaLiRo
- Quartz
- PolyLib
- McAiT
- Refinements of behavioural abstractions for the supervisory control of hybrid systems
This page was built for software: HyTech
