34 citations · 188 across the 30 of their papers we have counts for
32 papers
Spectral and linear stability of peakons in the Novikov equation
Stéphane Lafortune
The Novikov equation is a peakon equation with cubic nonlinearity which, like the Camassa-Holm and the Degasperis-Procesi, is completely integrable. In this article, we study the s…
Safe Environmental Envelopes of Discrete Systems
Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang +2
A safety verification task involves verifying a system against a desired safety property under certain assumptions about the environment. However, these environmental assumptions m…
On tolerance of discrete systems with respect to transition perturbations
Rômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune +1
Control systems should enforce a desired property for both expected modeled situations as well as unexpected unmodeled environmental situations. Existing methods focus on designing…
Spectral instability of peakons in the b-family of the Camassa--Holm equations
Stephane Lafortune, Dmitry E. Pelinovsky
We prove spectral instability of peakons in the -family of Camassa--Holm equations in that includes the integrable cases of and . We start with…
A General Language-Based Framework for Specifying and Verifying Notions of Opacity
Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune +1
Opacity is an information flow property that captures the notion of plausible deniability in dynamic systems, that is whether an intruder can deduce that "secret" behavior has occu…
Synthesis of Winning Attacks on Communication Protocols using Supervisory Control Theory: Two Case Studies
Shoma Matsui, Stéphane Lafortune
There is an increasing need to study the vulnerability of communication protocols in distributed systems to malicious attacks that attempt to violate properties such as safety or n…