logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
S

Stéphane Lafortune

university of michigan system

60H-index
453Paper Count
2.1WCitation Count
Published Papers 74
Publication Date
logo
Integrating Obfuscation and Control for Privacy
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2025-10-01
err1
PREAI
errWintenberg, Andrew; Ozay, Necmiye; Lafortune, Stephane
errShare
errSave
Dealing with sensor and actuator deception attacks in supervisory control
errAUTOMATICA
IF5.9
err2023-01-01
err15
errOAAI
errMeira-Goes, Romulo; Marchand, Herve; Lafortune, Stephane
errShare
errSave
A Compact and Uniform Approach for Synthesizing State-Based Property-Enforcing Supervisors for Discrete-Event Systems
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2022-07-01
err1
errOAAI
errMeira-Goes, Romulo; Weitze, Jack; Lafortune, Stephane
errShare
errSave
Synthesis of Optimal Multiobjective Attack Strategies for Controlled Systems Modeled by Probabilistic Automata
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2022-06-01
err13
errOAAI
errMeira-Goes, Romulo; Kwong, Raymond H.; Lafortune, Stephane
errShare
errSave
Local Mean Payoff Supervisory Control for Discrete Event Systems
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2022-05-01
err13
errOAAI
errJi, Yiding; Yin, Xiang; Lafortune, Stephane
errShare
errSave
Synthesis of Supervisors Robust Against Sensor Deception Attacks
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2021-10-01
err39
errOAAI
errMeira-Goes, Romulo; Lafortune, Stephane; Marchand, Herve
errShare
errSave
Embedded Insertion Functions for Opacity Enforcement
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2021-09-01
err6
PREAI
errKeroglou, Christoforos; Lafortune, Stephane
errShare
errSave
Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications
errAUTOMATICA
IF5.9
err2021-08-01
err5
errOAAI
errMohajerani, Sahar; Malik, Robi; Wintenberg, Andrew; Lafortune, Stephane; Ozay, Necmiye
errShare
errSave
Authors' Reply to Comments on A new approach for the verification of infinite-step and K-step opacity using two-way observers [Automatica, 2017(80)162-171]
errAUTOMATICA
IF5.9
err2021-02-01
err0
PREAI
errYin, Xiang; Lafortune, Stephane
errShare
errSave
Optimal supervisory control with mean payoff objectives and under partial observation ?
errAUTOMATICA
IF5.9
err2021-01-01
err25
PREAI
errJi, Yiding; Yin, Xiang; Lafortune, Stephane
errShare
errSave
Synthesis of sensor deception attacks at the supervisory layer of Cyber-Physical Systems
errAUTOMATICA
IF5.9
err2020-11-01
err95
errOAAI
errMeira-Goes, Romulo; Kang, Eunsuk; Kwong, Raymond H.; Lafortune, Stephane
errShare
errSave
Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2020-08-01
err24
errOAAI
errMohajerani, Sahar; Ji, Yiding; Lafortune, Stephane
errShare
errSave
Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2020-07-01
err6
PREAI
errGiua, Alessandro; Lafortune, Stephane; Seatzu, Carla
errShare
errSave
Transforming Opacity Verification to Nonblocking Verification in Modular Systems
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2020-04-01
err17
errOAAI
errMohajerani, Sahar; Lafortune, Stephane
errShare
errSave
Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking
errIEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY
IF3.9
err2020-03-01
err10
errOAAI
errRawlings, Blake C.; Lafortune, Stephane; Ydstie, B. Erik
errShare
errSave
Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2019-10-01
err56
errOAAI
errJi, Yiding; Yin, Xiang; Lafortune, Stephane
errShare
errSave
Enforcing opacity by insertion functions under multiple energy constraints
errAUTOMATICA
IF5.9
err2019-10-01
err44
errOAAI
errJi, Yiding; Yin, Xiang; Lafortune, Stephane
errShare
errSave
Incorporating automation logic in online chemical production scheduling
errCOMPUTERS & CHEMICAL ENGINEERING
IF3.9
err2019-09-01
err10
PREAI
errRawlings, Blake C.; Avadiappan, Venkatachalam; Lafortune, Stphane; Maravelias, Christos T.; Wassick, John M.
errShare
errSave
A general approach for optimizing dynamic sensor activation for discrete event systems
errAUTOMATICA
IF5.9
err2019-07-01
err30
PREAI
errYin, Xiang; Lafortune, Stephane
errShare
errSave
Discrete Event Systems: Modeling, Observation, and Control
errannual review of control robotics and autonomous systems
IF0
err2019-05-03
err24
PREAI
errLafortune, Stephane
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
王
王华 (Hua Wang)
H-index: 81 · Papers: 1.5K
S
Scott Mahlke
H-index: 68 · Papers: 353
A
Alain Goriely
H-index: 64 · Papers: 463
C
Christos T. Maravelias
H-index: 60 · Papers: 389
林
林峰 (Feng Lin)
H-index: 53 · Papers: 481
View more