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

Autor:	Piétrac, Laurent, Dumitrescu, Emil
Přispěvatelé:	Dumitrescu, Emil, Ampère, Département Méthodes pour l'Ingénierie des Systèmes (MIS), Ampère (AMPERE), École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-École Centrale de Lyon (ECL), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)
Jazyk:	angličtina
Rok vydání:	2020
Předmět:	[INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering [INFO.INFO-AU] Computer Science [cs]/Automatic Control Engineering ComputingMilieux_MISCELLANEOUS
Zdroj:	7th International Conference on Control, Decision and Information Technologies 7th International Conference on Control, Decision and Information Technologies, Jun 2020, Prague, Czech Republic
Popis:	International audience
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::fafdaa81e496aab3b1125d9e4d24773a https://hal.archives-ouvertes.fr/hal-02958104 Zobrazit plný text záznamu