The following pages link to Stéphane Lafortune (Q243736):
Displayed 50 items.
- Stability of smooth solitary waves in the \(b\)-Camassa-Holm equation (Q2083725) (← links)
- Dealing with sensor and actuator deception attacks in supervisory control (Q2103716) (← links)
- Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies (Q2106413) (← links)
- A general approach for optimizing dynamic sensor activation for discrete event systems (Q2280709) (← links)
- Stability of solitons on vortex filaments (Q2283954) (← links)
- Stability of front solutions in a model for a surfactant driven flow on an inclined plane (Q2356941) (← links)
- Concurrency bugs in multithreaded software: modeling and analysis using Petri nets (Q2393141) (← links)
- A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers (Q2407182) (← links)
- The dynamics of stretchable rods in the inertial case (Q2432298) (← links)
- Stability of stationary solutions for nonintegrable peakon equations (Q2448772) (← links)
- Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation (Q2563760) (← links)
- Safe diagnosability for fault-tolerant supervision of discrete-event systems (Q2576131) (← links)
- Optimal sensor selection for ensuring diagnosability in labeled Petri nets (Q2628671) (← links)
- Optimal supervisory control with mean payoff objectives and under partial observation (Q2662323) (← links)
- Authors' reply to ``Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers'''' (Q2663851) (← links)
- Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications (Q2665348) (← links)
- A general language-based framework for specifying and verifying notions of opacity (Q2673762) (← links)
- Decentralized supervisory control with communicating controllers (Q2730219) (← links)
- (Q2781698) (← links)
- A semi-discrete Kadomtsev-Petviashvili equation and its coupled integrable system (Q2814224) (← links)
- Decentralized Supervisory Control With Intersection-Based Architecture (Q2980310) (← links)
- A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems (Q2980448) (← links)
- Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems (Q2980556) (← links)
- Synthesis of Optimal Insertion Functions for Opacity Enforcement (Q2980627) (← links)
- SAT-Based Control of Concurrent Software for Deadlock Avoidance (Q2982472) (← links)
- Verification of the Observer Property in Discrete Event Systems (Q2983078) (← links)
- On Most Permissive Observers in Dynamic Sensor Activation Problems (Q2983201) (← links)
- Squared eigenfunctions and linear stability properties of closed vortex filaments (Q3108003) (← links)
- Instability of Local Deformations of an Elastic Rod: Numerical Evaluation of the Evans Function (Q3115894) (← links)
- (Q3139829) (← links)
- (Q3139834) (← links)
- (Q3152829) (← links)
- Matrix integral solutions to the discrete KP hierarchy and its Pfaffianized version (Q3181139) (← links)
- Adaptive control with recursive identification for stochastic linear systems (Q3325610) (← links)
- (Q3361896) (← links)
- Introduction to Discrete Event Systems (Q3426554) (← links)
- The Verification and Control of Interacting Similar Discrete-Event Systems (Q3427785) (← links)
- High Lewis Number Combustion Wavefronts: A Perturbative Melnikov Analysis (Q3435024) (← links)
- When is negativity not a problem for the ultradiscrete limit? (Q3442078) (← links)
- The infimal closed controllable superlanguage and its application in supervisory control (Q3493235) (← links)
- Some results on Petri net languages (Q3493244) (← links)
- An algorithm for maximising covered area (Q3543082) (← links)
- Distributed Diagnosis of Discrete-Event Systems Using Petri Nets (Q3550622) (← links)
- (Q3596096) (← links)
- Hirota bilinear formalism and ultra-discrete singularity analysis (Q3623247) (← links)
- A state transition model for distributed query processing (Q3775007) (← links)
- (Q3821560) (← links)
- Variable lookahead supervisory control with state information (Q4322281) (← links)
- An Optimal Control Theory for Discrete Event Systems (Q4388922) (← links)
- Constructing integrable third-order systems: the Gambier approach (Q4391335) (← links)