|(13 intermediate revisions by 2 users not shown)|
|−|== Education == |+|
<big> '''''' </big>
École Polytechnique de Montréal''' </big> |+|
|−|:B.S. Electrical Engineering 1980 |+|
| || |
|−|<big>''' McGill University''' </big> | |
|−|:M.S. Electrical Engineering 1982 | |
| || |
''' University of California at Berkeley''' </big> |+|
|−|:Ph.D. Electrical Engineering 1986 |+|
| || |
| || |
|−|== Professional Career == |+|
'''University of Michigan, Ann Arbor''' </big> |+|
|−|:Professor in the Department of Electrical Engineering and Computer Science since 1986 |+|
| || |
|−|*<big>'''Courses Recently Taught'''</big> | |
|−|::'''EECS 216: Introduction to Signal and Systems''' | |
|−|:::'''Prerequisistes:''' EECS 215; Preceded or accompanied by MATH 216 | |
|−|:::'''Course Description:''' Theory and practice of signals and systems engineering in continuous and discrete time. Continuous-time linear time-invariant systems, impulse response, convolution. Fourier series, Fourier transforms, spectrum, frequency response and filtering. Sampling leading to basic digital signal processing using the discrete-time Fourier and the discrete Fourier transform. Laplace transforms, transfer functions, poles and zeros, stability. Applications of Laplace transform theory to RLC circuit analysis. Introduction to communications, control, and signal processing. Weekly recitations and hardware/Matlab software laboratories. | |
|−|::'''EECS 498: Special Topics: Introduction to Discrete Event Systems''' | |
|−|:::'''Prerequisites:''' Senior or Graduate standing | |
|−|:::'''Course Description:''' This course was offered in Winter 2010, in place of EECS 661 when it was not offered in Fall 2010. The syllabus was adapted from that of EECS 661. | |
|−|::'''EECS 661: Discrete Event Systems''' | |
|−|:::'''Prerequisites:''' Graduate standing or permission of instructor | |
|−|:::'''Course Description:''' Modeling, analysis, and control of discrete event systems; untimed (logical) and timed models considered. Defining characteristics of discrete event systems. Logical models: languages, automata, and Petri nets. Analysis: safety, nonblocking, state estimation, and event diagnosis. Supervisory control: controllability, nonblocking and nonconflicting languages, observability, and coobservability. Control of Petri nets using place invariants. Timed models: timed automata and timed Petri nets; timed automata with guards. Brief introduction to stochastic models. | |
| || |
|−|*'''Please also see the [ https: //wiki. eecs.umich.edu/umdes/index.php/UMDES_Group UMDES Group Wiki] for more.''' |+|
| || |
| || |
'''Elected Fellow of the IEEE (1999) '''</big> |+|
|−|:Contributions to the theory of discrete event systems |+|
|−|:Served on the editorial boards of the Journal of ''Discrete Event Dynamic Systems: Theory and Applications and of the International Journal of Control'' |+|
| || |
|−|<big> '''Axelby Outstanding Paper Award from the IEEE Control Systems Society '''</big> |+|
|−|:'''1994 ''' - [http://scholar. google. com/citations?view_op=view_citation&hl=en&user=5wgTi1AAAAAJ&cstart=120&pagesize=100&sortby=pubdate&citation_for_view=5wgTi1AAAAAJ:jFemdcug13IC Limited Lookahead Policies in Supervisory Control of Discrete Event Systems] |+|
|−|::Co-author( s): Sheng-Luen Chung, Feng Lin |+|
|−|:'''2001''' - [http://scholar. google. com/citations?view_op=view_citation&hl=en&user=5wgTi1AAAAAJ&cstart=120&pagesize=100&sortby=pubdate&citation_for_view=5wgTi1AAAAAJ:anf4URPfarAC Decentralized Supervisor Control with Communicating Controllers] |+|
Axelby Outstanding Paper Award from the Control Systems Society 1994 -.. in ()
|−|::Co- author( s): George Barrett |+|
Stéphane Lafortune was born in Montréal, Québec, Canada.
He received the B.Eng degree from École Polytechnique de Montréal in 1980, the M.Eng degree from McGill University in 1982, and the Ph.D degree from the University of California at Berkeley in 1986, all in electrical engineering. Since September 1986, he has been with the University of Michigan, Ann Arbor, where he is a Professor of Electrical Engineering and Computer Science.
In March 2018, he was appointed as the N. Harris McClamroch Collegiate Professor of Electrical Engineering and Computer Science.
Lafortune is a Fellow of the IEEE (1999) and of IFAC (2017).
He received the Presidential Young Investigator Award from the National Science Foundation in 1990 and the Axelby Outstanding Paper Award from the Control Systems Society of the IEEE in 1994 (for a paper co-authored with S.-L. Chung and F. Lin) and in 2001 (for a paper co-authored with G. Barrett).
Lafortune's research interests are in discrete event systems and include multiple problem domains: modeling, diagnosis, control, optimization, and applications to computer and software systems.
He is the lead developer of the software package UMDES and co-developer of DESUMA with L. Ricker.
He co-authored, with C. Cassandras, the textbook Introduction to Discrete Event Systems (Third Edition, Springer, 2021).
Lafortune served as Editor-in-Chief of the Journal of Discrete Event Dynamic Systems: Theory and Applications from 2015 to 2020.