In recent years, formal methods have been extensively used in the design of autonomous
systems. By employing mathematically rigorous techniques, formal methods can provide …

Stochastic hybrid systems have received significant attentions as a relevant modeling
framework describing many systems, from engineering to the life sciences: they enable the …

One of the most important challenges for the application of cyber-physical systems (CPS) in
smart industries is ensuring its security against cyber attacks. In this paper, we consider that …

Auto-completing code enables developers to speed up coding significantly. Recent
advances in transformer-based large language model (LLM) technologies have been …

This paper investigates the problem of synthesizing sensor deception attacks against
security in the context of supervisory control of discrete-event systems (DES). We consider a …

In this paper, we focus on the challenging problem of model predictive control (MPC) for
dynamics systems with high-level tasks formulated as signal temporal logic (STL). The state …

In this work, we investigate the data-driven safe control synthesis problem for unknown
dynamic systems. We first formulate the safety synthesis problem as a robust convex …

In this note, we present the synthesis of secure-by-construction controllers that address
safety and security properties simultaneously in cyber-physical systems. Our focus is on …

Industrial cyber-physical systems (ICPSs) are widely regarded as the next generation
industrial control systems and as one of the core technologies of the ongoing fourth …

In this article, we investigate property verification problems in partially-observed discrete-
event systems (DES). Particularly, we are interested in verifying observational properties that …