Reachable sets of hidden CPS sensor attacks: Analysis and synthesis tools

For given system dynamics, control structure, and fault/attack detection procedure, we provide mathematical tools–in terms of Linear Matrix Inequalities (LMIs)–for characterizing and minimizing the set of states that sensor attacks can induce in the system while keeping the alarm rate of the fault detector sufficiently close to its false...

Controlled synchronization of mechanical systems with a unilateral constraint

This paper addresses the controlled synchronization problem of mechanical systems subjected to a geometric unilateral constraint as well as the design of a switching coupling law to obtain synchronization. To define the synchronization problem, we propose a distance function induced by the quotient metric, which is based on an equivalence...

Min-max control of fuel-cell-car-based smart energy systems

Recently, the idea of using fuel cell vehicles as the future way of producing electricity has emerged. A fuel cell car has all the necessary devices on board to convert the chemical energy of hydrogen into electricity. This paper considers a scenario where a parking lot for fuel cell cars acts as a virtual power plant. In order to describe the...