A Framework for Hybrid Systems with Denial-of-Service Security Attack

Shuling Wang, Flemming Nielson, Hanne Riis Nielson

Hybrid systems are integrations of discrete computation and continuous physical evolution. The physical components of such systems introduce safety requirements, the achievement of…