RAMAS
Reachability analysis of multi-affine systems. We present a technique for reachability analysis of continuous multi-affine systems based on rectangular partitions. The method is iterative. At each step, finer partitions and larger discrete quotients are produced. We exploit some interesting convexity properties of multi-affine functions on rectangles to show that the construction of the discrete quotient at each step requires only the evaluation of the vector field at the set of all vertices of all rectangles in the partition and finding the roots of a finite set of scalar affine functions. The methodology promises to be easily extendable to rectangular hybrid automata with multi-affine vector fields and is expected to find important applications in analysis of biological networks and robot control.
Keywords for this software
References in zbMATH (referenced in 11 articles )
Showing results 1 to 11 of 11.
Sorted by year (- Sloth, Christoffer; Wisniewski, Rafael: Complete abstractions of dynamical systems by timed automata (2013)
- Ben Sassi, Mohamed Amin; Testylier, Romain; Dang, Thao; Girard, Antoine: Reachability analysis of polynomial systems using linear programming relaxations (2012)
- Ramdani, Nacim; Nedialkov, Nedialko S.: Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques (2011)
- Ramdani, Nacim; Meslem, Nacim; Candau, Yves: Computing reachable sets for uncertain nonlinear monotone systems (2010)
- Asarin, Eugene; Dang, Thao; Girard, Antoine: Hybridization methods for the analysis of nonlinear systems (2007)
- Batt, Grégory; Belta, Calin; Weiss, Ron: Model checking genetic regulatory networks with parameter uncertainty (2007)
- Berman, Spring; Halász, Ádám; Kumar, Vijay: MARCO: A reachability algorithm for multi-affine systems with applications to biological systems (2007)
- Klaedtke, Felix; Ratschan, Stefan; She, Zhikun: Language-based abstraction refinement for hybrid system verification (2007)
- Mitchell, Ian M.: Comparing forward and backward reachability as tools for safety analysis (2007)
- Tabuada, Paulo: Approximate simulation relations and finite abstractions of quantized control systems (2007)
- Kloetzer, Marius; Belta, Calin: Reachability analysis of multi-affine systems (2006)