Symbolic synthesis for cyber-physical systems - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2017

Symbolic synthesis for cyber-physical systems

Matthias Rungger
  • Fonction : Auteur
Antoine Girard
Laboratoire des signaux et systèmes
CV
Paulo Tabuada
  • Fonction : Auteur
Cyber-Physical Systems Laboratory

Domaines

Optimisation et contrôle [math.OC] Automatique / Robotique Systèmes et contrôle [cs.SY]

Antoine Girard  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01620555

Soumis le : vendredi 20 octobre 2017-16:54:54

Dernière modification le : lundi 18 mars 2024-03:05:31

Fichier non déposé

Dates et versions

hal-01620555 , version 1 (20-10-2017)

Identifiants

  • HAL Id : hal-01620555 , version 1

Citer

Matthias Rungger, Antoine Girard, Paulo Tabuada. Symbolic synthesis for cyber-physical systems. Raj Rajkumar; Dionisio de Niz; Mark Klein. Cyber-Physical Systems, Addison Wesley, 2017, SEI Series in Software Engineering. ⟨hal-01620555⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS SUP_LSS SUP_SYSTEMES CENTRALESUPELEC TDS-MACS UNIV-PARIS-SACLAY GS-ENGINEERING GS-COMPUTER-SCIENCE
216 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More