The use of deceptive strategies is important for an agent that attempts not to reveal his intentions in adversarial environment. We consider a setting, which supervisor provides reference policy and expects follow the perform task. may instead different achieve model environment behavior with Markov decision process, represent tasks reachability specifications, study synthesis optimal policies ...

A data-driven methodology that includes the unfalsified control concept in the framework of fault diagnosis and isolation (FDI) and fault-tolerant control (FTC) is presented. The selection of the appropriate controller from a bank of controllers in a switching supervisory control setting is performed by using an adequate FDI outcome. By combining simultaneous on-line performance assessment of m...

In this paper, a class of timed Petri nets named programmable timed Petri nets is used for supervisory control of hybrid systems. In particular, the transfer of the continuous state to a region of the state space under safety speci cations on the discrete and continuous dynamics is addressed. The switching policy is embedded in the dynamics of the underlying Petri net structure and the supervis...

In this paper, a class of timed Petri nets named programmable timed Petri nets is used for supervisory control of hybrid systems. In particular , the transfer of the continuous state to a region of the state space under safety speciications on the discrete and continuous dynamics is addressed. The switching policy is embedded in the dynamics of the underlying Petri net structure and the supervi...

The problem of attenuating unknown and possibly time-varying disturbances acting on a linear timeinvariant dynamical system is addressed by means of an adaptive switching control approach. Given a family of pre-designed stabilizing controllers, a supervisory unit infers in real-time the potential behavior of each candidate controller and selects the one providing the best potential performance....

Recent results on receding horizon control of linear systems with state and input constraints have shown that the optimal receding horizon controller is piecewise affine and continuous, with the resulting value function being piecewise quadratic and continuously differentiable. The purpose of this note is to exploit these results to show that the controller renders the closed-loop system global...