RAMAS
From MaRDI portal
Software:22910
No author found.
Related Items (12)
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 ⋮ Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations ⋮ Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques ⋮ Computing reachable sets for uncertain nonlinear monotone systems ⋮ Model Checking Genetic Regulatory Networks with Parameter Uncertainty ⋮ MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems ⋮ Comparing Forward and Backward Reachability as Tools for Safety Analysis ⋮ Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems ⋮ Language-Based Abstraction Refinement for Hybrid System Verification ⋮ Hybrid Systems: Computation and Control
This page was built for software: RAMAS
