4 works on record
Introduction to Discrete Event Systems
Discrete event systems
Stochastic hybrid systems
Safe Autonomy with Control Barrier Functions