The paper reports the first implementation of the library Ariadne to compute the reachable set of an hybrid automaton.

Ariadne: a library for computing with hybrid automata

VILLA, Tiziano;
2005

Abstract

The paper reports the first implementation of the library Ariadne to compute the reachable set of an hybrid automaton.
hybrid automata, reachability analysis. library Ariadne
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11562/243801
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact