4 papers
Learning Linear Temporal Specifications from Demonstrations with Uncertainty
Parastou Fahim, Constantino Lagoa, Rômulo Meira-Góes +1
Learning temporal logic specifications from system demonstrations is essential for tasks such as formal verification and controller synthesis, especially in safety-critical domains…
NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations
Shih-Jie Shih, Jonghan Lim, Ilya Kovalenko +1
Supervisory control of discrete-event systems provides formal guarantees of correctness with respect to a plant model and specification. However, these guarantees heavily rely on t…
Robust Recovery and Control of Cyber-physical Discrete Event Systems under Actuator Attacks
Samuel Oliveira, Mostafa Tavakkoli Anbarani, Gregory Beal +4
Critical real-world applications strongly rely on Cyber-physical systems (CPS), but their dependence on communication networks introduces significant security risks, as attackers c…
Enhancing sensor attack detection in supervisory control systems modeled by probabilistic automata
Parastou Fahim, Samuel Oliveira, Rômulo Meira-Góes
Sensor attacks compromise the reliability of cyber-physical systems (CPSs) by altering sensor outputs with the objective of leading the system to unsafe system states. This paper s…