Searching for authors named "Charles Lesire" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

C.: Particle Petri nets for aircraft procedure monitoring under uncertainty
by Charles Lesire, Catherine Tessier — 2005 — In 26thInternational Conference onApplicationand Theory of Petri Nets and Other Models of Concurrency (ATPN
…Abstract. In the framework of the study and analysis of new flight procedures, we propose a new Petri net-based formalism to represent both continuous and discrete evolutions and uncertainties: the particle Petri net. This model is based on a particle filtering-like representation of the probabilist…
Cited by 4 (3 self) – Add To MetaCart

C.: Estimation and conflict detection in human controlled systems
by Charles Lesire, Catherine Tessier — 2006 — In: HSCC’06, 9th Workshop on Hybrid Systems: Computation and Control
…Abstract. Monitoring a hybrid system subjected to human actions needs both an estimation of the system state and an analysis of the possible conflicts in order to guarantee a safe behavior of the system. Such a monitoring principle is presented in this paper. The estimation of the hybrid system stat…
Cited by 2 (2 self) – Add To MetaCart

C.: Exhost-PIPE: PIPE extended for two classes of monitoring Petri nets
by Olivier Bonnet-torrès, Patrice Domenech, Charles Lesire, Catherine Tessier — 2006 — In: ATPN’06, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency
…3 at Onera-DCSD for a training period Feb-June 2005…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB