Abstraction of continuous system trajectories into timed automata

  1. Helias, A.
  2. Guerrin, F.
  3. Steyer, J.-P.
Actas:
IFAC Proceedings Volumes (IFAC-PapersOnline)

ISSN: 1474-6670

Año de publicación: 2004

Volumen: 37

Número: 18

Páginas: 309-314

Tipo: Aportación congreso

DOI: 10.1016/S1474-6670(17)30764-4 GOOGLE SCHOLAR