From Events to Complex Behaviors: A Formal Contribution to the Requirement Expression in Supervisory Control Theory - Archive ouverte HAL
Communication Dans Un Congrès Année : 2020

From Events to Complex Behaviors: A Formal Contribution to the Requirement Expression in Supervisory Control Theory

Domaines

Automatique
Fichier non déposé

Dates et versions

hal-02958104 , version 1 (05-10-2020)

Identifiants

  • HAL Id : hal-02958104 , version 1

Citer

Laurent Piétrac, Emil Dumitrescu. From Events to Complex Behaviors: A Formal Contribution to the Requirement Expression in Supervisory Control Theory. 7th International Conference on Control, Decision and Information Technologies, Jun 2020, Prague, Czech Republic. ⟨hal-02958104⟩
44 Consultations
0 Téléchargements

Partager

More