Search Results - "Ouédraogo, Lucien"

A new method for centralised and modular supervisory control of real-time discrete event systems by Ouédraogo, Lucien, Khoumsi, Ahmed, Nourelfath, Mustapha

“…This article deals with the problem of controlling a plant described as a real-time discrete event system (RTDES). In particular, automata-based supervisory…”
Get full text

New results in modeling and supervisory control of real-time discrete event systems by Khoumsi, Ahmed, Ouedraogo, Lucien

“…A method has been recently proposed for the supervisory control of real-time discrete event systems (RTDES). This method is based on a transformation, called…”
Get full text

Computation of the Precise Worst-Case Response Time of FlexRay Dynamic Messages by Ouedraogo, Lucien, Kumar, Ratnesh

“…FlexRay is a communication bus (and associated protocol) that supports transmission of time-triggered and event-triggered frames. A method for determining the…”
Get full text

Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata by Ouedraogo, L., Kumar, R., Malik, R., Akesson, K.

“…Extended Finite Automata (EFA), i.e., finite automata extended with variables, are a suitable modeling framework for discrete event systems owing to their…”
Get full text

Localisation des zones d'accès à l'eau en saison sèche par analyse multicritère dans le bassin versant du Goudébo (région de Yakouta, Burkina Faso) by Ouédraogo, Lucien, Ouédraogo, Blaise, Kaboré, Oumar, Yanogo, Pawendkisgou Isidore, Zoungrana, Tanga Pierre, Moussa, Ibrahim Bouzou

“…L'étude a pour objectif l'identification des zones d'accès à l'eau des agro-pasteurs en saison sèche dans le bassin versant du Goudébo. La démarche utilisée…”
Get full text

SetExp: a method of transformation of timed automata into finite state automata by Ouedraogo, Lucien, Khoumsi, Ahmed, Nourelfath, Mustapha

“…Real-time discrete event systems are discrete event systems with timing constraints, and can be modeled by timed automata. The latter are convenient for…”
Get full text

Localisation des zones d'accès à l'eau en saison sèche par analyse multicritère dans le bassin versant du Goudébo (région de Yakouta, Burkina Faso) by Lucien Ouédraogo, Blaise Ouédraogo, Oumar Kaboré, Pawendkisgou Isidore Yanogo, Tanga Pierre Zoungrana, Ibrahim Bouzou Moussa

“…The study aims to identify areas where agro-pastoralists access to water during the dry season in the drainage basin of the river Goudébo. The approach is the…”
Get full text

A new method for centralized and modular supervisory control of real-time discrete event systems by Ouedraogo, L., Nourelfath, M., Khoumsi, A.

“…In this paper, we first propose a centralized method for the synthesis of a supervisor that forces a given plant to conform to a given specification. Then, we…”
Get full text

Varia 2013 by Abdesselam, Malek, Amokrane, Khélifa, Ballais, Jean-Louis, Ballouche, Aziz, Bensaci, Ettayib, Bentaallah, Mohamed El Amine, Bilbao, Ignacio Alonso, Bouheraoua, Ali, Boulaacheb, Nacira, Bouzegag, Abdelaziz, Chouari, Walid, Cohen, Marianne, Delorme, Virginie, Ghenim, Abderrahmane Nekkache, Ghodbani, Tarik, Guérémy, Pierre, Houhamdi, Moussa, Kaboré, Oumar, Kerfouf, Ahmed, Laignel, Benoit, Lalubie, Guillaume, Larue, Jean-Pierre, Lépy, Élise, Marre, Alain, Martin, Claude, Megnounif, Abdesselam, Moussa, Ibrahim Bouzou, Nouaceur, Zeineddine, Nouidjem, Yacine, Obled, Charles, Ouédraogo, Blaise, Ouédraogo, Lucien, Perez, Isora Sanchez, Purdue, Louise, Remili, Sadia, Saheb, Menouar, Smail, Ali Si, Sy, Amadou Abou, Sy, Boubou Aldiouma, Turki, Imen, Valido, Silvia Rodriguez, Wulamu, Maihepireti, Yanogo, Pawendkisgou Isidore, Zoungrana, Tanga Pierre

Get full text

Contrôle supervisé de systèmes à événements discrets temps-réel by Ouedraogo, Lucien

“…Cette thèse porte sur la synthèse de superviseurs pour des systèmes à événements discrets temps-réel (SEDTRs) modélisés par des automates temporisés (ATs)…”
Get full text

A New Method for Transforming Timed Automata by Khoumsi, Ahmed, Ouedraogo, Lucien

“…Discrete events systems (DES) are defined by the sequences of events they can execute. For example, communication protocols and computer networks can be seen…”
Get full text

Controle supervise de systemes a evenements discrets temps-reel by Ouedraogo, Lucien

“…Cette these porte sur la synthese de superviseurs pour des systemes a evenements discrets temps-reel (SEDTRs) modelises par des automates temporises (ATs)…”
Get full text

A Unifying Decision-Making Framework to study secrecy in Discrete event systems by Khoumsi, A., Ouedraogo, L.

“…This paper deals with secrecy, i.e. how an information-flow property of system can be kept secret from observers. Recently, a discrete-event system based model…”
Get full text

Etude et implémentation d'une méthode de transformation des automates temporisés en automates à états finis by Ouedraogo, Lucien

“…Les systèmes à événements discrets (SED) sont des systèmes dont le fonctionnement se traduit par des séquences d'interactions. Les SED peuvent être décrits par…”
Get full text

Exact response time of FlexRay communication protocol by Ouedraogo, L., Kumar, R.

“…A method for determining worst-case response-time properties of the FlexRay protocol frames is proposed by Pop et al. in 2008, where the determination of the…”
Get full text

Symbolic approach to nonblocking and safe control of Extended Finite Automata by Ouedraogo, L, Kumar, R, Malik, R, Akesson, K

“…For Discrete Event Systems (DES) modeled as Finite Automata, supervisory control theory has been extensively studied. Extended Finite Automata (EFA), i.e.,…”
Get full text