Correct-by-construction synthesis is a cornerstone of the confluence of formal methods and
control theory towards designing safety-critical systems. Instead of following the time-tested …

This tutorial paper studies the effect of deception attacks on compromised sensors and
actuators at the supervisory control layer of cyber-physical control systems. The problem is …

We present a novel method to compute permissive winning strategies in two-player games
over finite graphs with ω-regular winning conditions. Given a game graph G and a parity …

Many problems in reactive synthesis are stated using two formulas—an environment
assumption and a system guarantee—and ask for an implementation that satisfies the …

We consider xpoint algorithms for two-player games on graphs with 𝜔-regular winning
conditions, where the environment is constrained by a strong transition fairness assumption …

We present a novel method to compute $\textit {assume-guarantee contracts} $ in non-
zerosum two-player games over finite graphs where each player has a different $\omega …

We study directed control of discrete event system expressed as the parallel composition of
interacting automata. Solutions that first compose the automata and then compute a …

RMAS is a multi-agent system architecture and associated model of computation that has
been recently proposed as promising framework for autonomic computation and as viable …

Obfuscation can be used by dynamic systems to ensure private and secure communication
over networks vulnerable to eavesdroppers. Balancing the utility of sending information to …

Control systems should enforce a desired property for both expected/modeled situations as
well as unexpected/unmodeled environmental situations. Existing methods focus on …