Career

From Lafortune Wiki
Career
Jump to: navigation, search
(Professional Career)
Line 13: Line 13:
  
 
== Professional Career ==
 
== Professional Career ==
 +
 
<big> '''University of Michigan, Ann Arbor''' </big>
 
<big> '''University of Michigan, Ann Arbor''' </big>
 
:Professor in the Department of Electrical Engineering and Computer Science since 1986
 
:Professor in the Department of Electrical Engineering and Computer Science since 1986
  
*<big>'''Courses Recently Taught'''</big>
+
<big>Visiting Postions</big>
::'''EECS 216: Introduction to Signal and Systems'''
+
:Visiting Professor at Northwestern University (2010-2011), the University of Cagliari (2007 and 2011), the University of Bologna (2004), and Ecole Polytechnique de Montréal (1993).
:::'''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.'''
+
  
  
 
<big> '''Elected Fellow of the IEEE (1999) '''</big>
 
<big> '''Elected Fellow of the IEEE (1999) '''</big>
:Contributions to the theory of discrete event systems
+
:For "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>
 
<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]
+
:'''1994''' - [http://scholar.google.com/citations?view_op=view_citation&hl=en&user=5wgTi1AAAAAJ&citation_for_view=5wgTi1AAAAAJ:7wO8s98CvbsC Limited Lookahead Policies in Supervisory Control of Discrete Event Systems]
 
::Co-author(s): Sheng-Luen Chung, Feng Lin
 
::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]
+
:'''2001''' - [http://scholar.google.com/citations?view_op=view_citation&hl=en&user=5wgTi1AAAAAJ&citation_for_view=5wgTi1AAAAAJ:WC23djZS0W4C Decentralized Supervisor Control with Communicating Controllers]
::Co-author(s): George Barrett
+
::Co-author: George Barrett
 +
 
 +
 
 +
<big> '''Editor-in-Chief''' </big>
 +
:Journal of  [http://www.springer.com/mathematics/applications/journal/10626 Discrete Event Dynamic Systems: Theory and Applications] (effective 1/1/2015)
  
  
 
<big> '''Co-author to the book '''"[https://wiki.eecs.umich.edu/umdes/index.php/Publications#.22_Introduction_To_Discrete_Event_Systems_.22 Introduction to Discrete Event Systems]"'''</big>
 
<big> '''Co-author to the book '''"[https://wiki.eecs.umich.edu/umdes/index.php/Publications#.22_Introduction_To_Discrete_Event_Systems_.22 Introduction to Discrete Event Systems]"'''</big>
 +
 +
 +
<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 and Hybrid Systems'''
 +
:::'''Prerequisites:''' Senior or Graduate standing
 +
:::'''Course Description:''' This course was offered in Fall 2007 and Winter 2010.
 +
::'''EECS 566: 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.

Revision as of 15:40, October 17, 2014

Stéphane Lafortune | Contact Information | Career | Research | Publications | Related Links

Education

École Polytechnique de Montréal

B.S. Electrical Engineering 1980

McGill University

M.S. Electrical Engineering 1982

University of California at Berkeley

Ph.D. Electrical Engineering 1986


Professional Career

University of Michigan, Ann Arbor

Professor in the Department of Electrical Engineering and Computer Science since 1986

Visiting Postions

Visiting Professor at Northwestern University (2010-2011), the University of Cagliari (2007 and 2011), the University of Bologna (2004), and Ecole Polytechnique de Montréal (1993).


Elected Fellow of the IEEE (1999)

For "Contributions to the theory of discrete event systems"


Axelby Outstanding Paper Award from the IEEE Control Systems Society

1994 - Limited Lookahead Policies in Supervisory Control of Discrete Event Systems
Co-author(s): Sheng-Luen Chung, Feng Lin
2001 - Decentralized Supervisor Control with Communicating Controllers
Co-author: George Barrett


Editor-in-Chief

Journal of Discrete Event Dynamic Systems: Theory and Applications (effective 1/1/2015)


Co-author to the book "Introduction to Discrete Event Systems"


Courses Recently Taught

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 and Hybrid Systems
Prerequisites: Senior or Graduate standing
Course Description: This course was offered in Fall 2007 and Winter 2010.
EECS 566: 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.
Personal tools
Namespaces
Variants
Actions
Navigation
Toolbox
EECS @ UM
Tools