The following pages link to Stéphane Lafortune (Q243736):
Displaying 19 items.
- Limited lookahead policies in supervisory control of discrete event systems (Q5288500) (← links)
- Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets (Q5300863) (← links)
- How to detect integrability in cellular automata (Q5316316) (← links)
- Spectral Stability of Local Deformations of an Elastic Rod: Hamiltonian Formalism (Q5317405) (← links)
- On Codiagnosability and Coobservability With Dynamic Observations (Q5347768) (← links)
- Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case (Q5347802) (← links)
- A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets (Q5353040) (← links)
- Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software (Q5353204) (← links)
- Integrable ultra-discrete equations and singularity analysis (Q5488810) (← links)
- Introduction to Traveling Waves (Q5877506) (← links)
- Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution (Q5962026) (← links)
- Enforcing opacity by insertion functions under multiple energy constraints (Q6198145) (← links)
- On tolerance of discrete systems with respect to transition perturbations (Q6201386) (← links)
- Spectral instability of peakons for the $b$-family of Novikov equations (Q6521691) (← links)
- Orbital Stability of Smooth Solitary Waves for the Novikov Equation (Q6526331) (← links)
- Safe environmental envelopes of discrete systems (Q6535638) (← links)
- Spectral instability of peakons for the \(b\)-family of Novikov equations (Q6644213) (← links)
- Diagnosability and attack detection for discrete event systems under sensor attacks (Q6645152) (← links)
- Orbital stability of smooth solitary waves for the modified Camassa-Holm equation (Q6759929) (← links)
