Control of Timed Systems

Hdr Année : 2007

(1)

Franck Cassez

In this thesis we summarize our recent work on the control of timed systems.

timed automata control

Autre [cs.OH]

Fichier principal

hdr-en-cassez.pdf (637.52 Ko)

slides-hdr-cassez.pdf (3.43 Mo)

Format : Autre

https://theses.hal.science/tel-00363037

Soumis le : vendredi 20 février 2009-01:40:41

Dernière modification le : vendredi 5 janvier 2024-03:24:08

Archivage à long terme le : vendredi 12 octobre 2012-12:00:31

tel-00363037 , version 1 (20-02-2009)

Franck Cassez. Control of Timed Systems. Other [cs.OH]. IRCCyN, 2007. ⟨tel-00363037⟩

UNIV-NANTES CNRS EC-NANTES IRCCYN IRCCYN-MEFORBIO UNAM LS2N NANTES-UNIVERSITE

195 Consultations

246 Téléchargements