フォロー
Stéphane Lafortune
Stéphane Lafortune
Professor of Electrical Engineering and Computer Science, University of Michigan, USA
確認したメール アドレス: umich.edu - ホームページ
タイトル
引用先
引用先
年
Introduction to discrete event systems
CG Cassandras, S Lafortune
Springer US, 2008
72832008
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
21601995
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
10781996
Coordinated decentralized protocols for failure diagnosis of discrete event systems
R Debouk, S Lafortune, D Teneketzis
Discrete event dynamic systems 10 (1), 33-86, 2000
6792000
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
5212002
Active diagnosis of discrete-event systems
M Sampath, S Lafortune, D Teneketzis
IEEE transactions on automatic control 43 (7), 908-929, 1998
4321998
Overview of fault diagnosis methods for discrete event systems
J Zaytoon, S Lafortune
Annual Reviews in Control 37 (2), 308-320, 2013
4212013
A general architecture for decentralized supervisory control of discrete-event systems
TS Yoo, S Lafortune
Discrete Event Dynamic Systems 12, 335-377, 2002
3102002
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
2591992
Comparative analysis of related notions of opacity in centralized and coordinated architectures
YC Wu, S Lafortune
Discrete Event Dynamic Systems 23 (3), 307-339, 2013
2262013
Diagnosis of discrete event systems using decentralized architectures
Y Wang, TS Yoo, S Lafortune
Discrete Event Dynamic Systems 17 (2), 233-263, 2007
2082007
Distributed diagnosis of place-bordered Petri nets
S Genc, S Lafortune
IEEE Transactions on automation science and engineering 4 (2), 206-219, 2007
2072007
Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs.
Y Wang, T Kelly, M Kudlur, S Lafortune, SA Mahlke
OSDI 8, 281-294, 2008
2012008
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
1922012
A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
X Yin, S Lafortune
IEEE Transactions on Automatic Control, 2016
1882016
Decentralized supervisory control with communicating controllers
G Barrett, S Lafortune
IEEE Transactions on Automatic Control 45 (9), 1620-1638, 2000
1882000
On the history of diagnosability and opacity in discrete event systems
S Lafortune, F Lin, CN Hadjicostis
Annual Reviews in Control 45, 257-266, 2018
1822018
Detection and mitigation of classes of attacks in supervisory control systems
LK Carvalho, YC Wu, R Kwong, S Lafortune
Automatica 97, 121-133, 2018
1802018
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
1742003
Predictability of event occurrences in partially-observed discrete-event systems
S Genc, S Lafortune
Automatica 45 (2), 301-311, 2009
1702009
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20