Stéphane Lafortune
Stéphane Lafortune
Professor of Electrical Engineering and Computer Science, University of Michigan, USA
Correu electrònic verificat a umich.edu - Pàgina d'inici
Títol
Citada per
Citada per
Any
Introduction to discrete event systems
CG Cassandras, S Lafortune
Springer Science & Business Media, 2009
57192009
Diagnosability of discrete-event systems
M Sampath, R Sengupta, S Lafortune, K Sinnamohideen, D Teneketzis
IEEE Transactions on automatic control 40 (9), 1555-1575, 1995
17241995
Failure diagnosis using discrete-event models
M Sampath, R Sengupta, S Lafortune, K Sinnamohideen, DC Teneketzis
IEEE transactions on control systems technology 4 (2), 105-124, 1996
9721996
Coordinated decentralized protocols for failure diagnosis of discrete event systems
R Debouk, S Lafortune, D Teneketzis
Discrete Event Dynamic Systems 10 (1-2), 33-86, 2000
5822000
Polynomial-time verification of diagnosability of partially observed discrete-event systems
TS Yoo, S Lafortune
IEEE Transactions on automatic control 47 (9), 1491-1495, 2002
4162002
Active diagnosis of discrete-event systems
M Sampath, S Lafortune, D Teneketzis
IEEE transactions on automatic control 43 (7), 908-929, 1998
3711998
A general architecture for decentralized supervisory control of discrete-event systems
TS Yoo, S Lafortune
Discrete Event Dynamic Systems 12 (3), 335-377, 2002
2572002
Overview of fault diagnosis methods for discrete event systems
J Zaytoon, S Lafortune
Annual Reviews in Control 37 (2), 308-320, 2013
2522013
Limited lookahead policies in supervisory control of discrete event systems
SL Chung, S Lafortune, F Lin
IEEE Transactions on Automatic Control 37 (12), 1921-1935, 1992
2251992
Distributed diagnosis of place-bordered Petri nets
S Genc, S Lafortune
IEEE Transactions on Automation science and Engineering 4 (2), 206-219, 2007
1862007
Diagnosis of discrete event systems using decentralized architectures
Y Wang, TS Yoo, S Lafortune
Discrete Event Dynamic Systems 17 (2), 233-263, 2007
1802007
Decentralized supervisory control with communicating controllers
G Barrett, S Lafortune
IEEE Transactions on Automatic Control 45 (9), 1620-1638, 2000
1792000
Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs.
Y Wang, T Kelly, M Kudlur, S Lafortune, SA Mahlke
OSDI 8, 281-294, 2008
1762008
Distributed diagnosis of discrete-event systems using Petri nets
S Genc, S Lafortune
International Conference on Application and Theory of Petri Nets, 316-336, 2003
1562003
A new approach for diagnosability analysis of Petri nets using verifier nets
MP Cabasino, A Giua, S Lafortune, C Seatzu
IEEE Transactions on Automatic Control 57 (12), 3104-3117, 2012
1462012
An optimal control theory for discrete event systems
R Sengupta, S Lafortune
SIAM Journal on control and Optimization 36 (2), 488-541, 1998
1421998
The theory of deadlock avoidance via discrete control
Y Wang, S Lafortune, T Kelly, M Kudlur, S Mahlke
ACM SIGPLAN Notices 44 (1), 252-263, 2009
1352009
Minimal communication in a distributed discrete-event system
K Rudie, S Lafortune, F Lin
IEEE Transactions on Automatic Control 48 (6), 957-975, 2003
1302003
Diagnosability of discrete event systems with modular structure
O Contant, S Lafortune, D Teneketzis
Discrete Event Dynamic Systems 16 (1), 9-37, 2006
1282006
Safe diagnosability for fault-tolerant supervision of discrete-event systems
A Paoli, SP Lafortune
Automatica 41 (8), 1335-1347, 2005
1262005
En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.
Articles 1–20