A Guide to Signals and Systems in Continuous Time von Lafortune, Stéphane

Volltext

Introduction to Discrete Event Systems von Cassandras, Christos G, Lafortune, Stéphane

Volltext

Introduction to Traveling Waves von Ghazaryan, Anna R., Lafortune, Stéphane, Manukian, Vahagn

Volltext

A new approach for the verification of infinite-step and K-step opacity using two-way observers von Yin, Xiang, Lafortune, Stéphane

Volltext

Spectral and linear stability of peakons in the Novikov equation von Lafortune, Stéphane

Volltext

Enforcing opacity by insertion functions under multiple energy constraints von Ji, Yiding, Yin, Xiang, Lafortune, Stéphane

Volltext

Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions von Ji, Yiding, Yin, Xiang, Lafortune, Stephane

Volltext

A general approach for optimizing dynamic sensor activation for discrete event systems von Yin, Xiang, Lafortune, Stéphane

Volltext

A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems von Xiang Yin, Lafortune, Stephane

Volltext

Transforming Opacity Verification to Nonblocking Verification in Modular Systems von Mohajerani, Sahar, Lafortune, Stephane

Volltext

Synthesis of sensor deception attacks at the supervisory layer of Cyber–Physical Systems von Meira-Góes, Rômulo, Kang, Eunsuk, Kwong, Raymond H., Lafortune, Stéphane

Volltext

On the history of diagnosability and opacity in discrete event systems von Lafortune, Stéphane, Lin, Feng, Hadjicostis, Christoforos N.

Volltext

Stability of smooth solitary waves in the b-Camassa–Holm equation von Lafortune, Stéphane, Pelinovsky, Dmitry E.

Volltext

Codiagnosability and coobservability under dynamic observations: Transformation and verification von Yin, Xiang, Lafortune, Stéphane

Volltext

Synthesis of insertion functions for enforcement of opacity security properties von Wu, Yi-Chin, Lafortune, Stéphane

Volltext

Detection and mitigation of classes of attacks in supervisory control systems von Carvalho, Lilian Kawakami, Wu, Yi-Chin, Kwong, Raymond, Lafortune, Stéphane

Volltext

Spectral instability of peakons for the b-family of Novikov equations von Deng, Xijun, Lafortune, Stéphane

Volltext

Embedded Insertion Functions for Opacity Enforcement von Keroglou, Christoforos, Lafortune, Stephane

Volltext

Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement von Mohajerani, Sahar, Ji, Yiding, Lafortune, Stephane

Volltext

Discrete Event Systems: Modeling, Observation, and Control von Lafortune, Stéphane

Volltext