d/dt is a tool for reachability analysis of continuous and hybrid systems with linear differential inclusions. The d/dt tool for verification of hybrid systems. We describe the tool d/dt which provides automatic safety verification of hybrid systems with linear continuous dynamics with uncertain input. The verification procedure is based on a method for overapproximating reachable sets by orthogonal polyhedra. The tool also allows to synthesize a controller which switches the system between continuous modes in order to satisfy a safety specification.

References in zbMATH (referenced in 37 articles )

Showing results 1 to 20 of 37.
Sorted by year (citations)

1 2 next

  1. Tsachouridis, Vassilios A.; Giantamidis, Georgios; Basagiannis, Stylianos; Kouramas, Kostas: Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers (2020)
  2. Drechsler, Rolf (ed.): Formal system verification. State-of the-art and future trends (2018)
  3. Dreossi, Tommaso: Sapo: reachability computation and parameter synthesis of polynomial dynamical systems (2017)
  4. Sankaranarayanan, Sriram: Change-of-bases abstractions for non-linear hybrid systems (2016)
  5. Prabhakar, Pavithra; Duggirala, Parasara Sridhar; Mitra, Sayan; Viswanathan, Mahesh: Hybrid automata-based CEGAR for rectangular hybrid systems (2015)
  6. Liberzon, Daniel: Finite data-rate feedback stabilization of switched and hybrid linear systems (2014)
  7. Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano: Automatic synthesis of switching controllers for linear hybrid systems: safety control (2013)
  8. Prabhakar, Pavithra; Duggirala, Parasara Sridhar; Mitra, Sayan; Viswanathan, Mahesh: Hybrid automata-based CEGAR for rectangular hybrid systems (2013)
  9. Damm, Werner; Dierks, Henning; Disch, Stefan; Hagemann, Willem; Pigorsch, Florian; Scholl, Christoph; Waldmann, Uwe; Wirtz, Boris: Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces (2012)
  10. Althoff, Matthias; Le Guernic, Colas; Krogh, Bruce H.: Reachable set computation for uncertain time-varying linear systems (2011)
  11. Bu, Lei; Zhao, Jianhua; Li, Xuandong: Path-oriented reachability verification of a class of nonlinear hybrid automata using convex programming (2010)
  12. Campagna, Dario; Piazza, Carla: Hybrid automata, reachability, and systems biology (2010)
  13. Akbarpour, Behzad; Paulson, Lawrence C.: Applications of \textttMetiTarskiin the verification of control and hybrid systems (2009)
  14. Bartocci, E.; Corradini, F.; Di Berardini, M. R.; Entcheva, E.; Smolka, S. A.; Grosu, R.: Modeling and simulation of cardiac tissue using hybrid I/O automata (2009)
  15. Campagna, Dario; Piazza, Carla: Hybrid automata in systems biology: how far can we go? (2009)
  16. Casagrande, Alberto; Piazza, Carla; Policriti, Alberto: Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology (2009)
  17. Plaku, Erion; Kavraki, Lydia E.; Vardi, Moshe Y.: Hybrid systems: From verification to falsification by combining motion planning and discrete search (2009)
  18. Bartocci, Ezio; Corradini, Flavio; Di Berardini, Maria Rita; Entcheva, Emilia; Grosu, Radu; Smolka, Scott A.: Spatial networks of hybrid I/O automata for modeling excitable tissue (2008)
  19. Bhatia, Amit; Frazzoli, Emilio: Sampling-based resolution-complete algorithms for safety falsification of linear systems (2008)
  20. Hamadeh, Abdullah; Goncalves, Jorge: Reachability analysis of continuous-time piecewise affine systems (2008)

1 2 next