RAMAS
From MaRDI portal
Software:22910
swMATH10958MaRDI QIDQ22910FDOQ22910
Author name not available (Why is that?)
Cited In (12)
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
- Language-Based Abstraction Refinement for Hybrid System Verification
- Comparing Forward and Backward Reachability as Tools for Safety Analysis
- MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems
- Hybridization methods for the analysis of nonlinear systems
- Complete abstractions of dynamical systems by timed automata
- An input–output simulation approach to controlling multi-affine systems for linear temporal logic specifications
- Computing reachable sets for uncertain nonlinear monotone systems
- Hybrid Systems: Computation and Control
- Model Checking Genetic Regulatory Networks with Parameter Uncertainty
- Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations
- Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems
This page was built for software: RAMAS
