Abstraction of continuous system trajectories into timed automata

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

ISSN: 1474-6670

Year of publication: 2004

Volume: 37

Issue: 18

Pages: 309-314

Type: Conference paper

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