Modeling reporting delays in cyber incidents: an industry-level comparison.
Int. J. Inf. Sec., 2023
Correcting for Reporting Delays in Cyber Incidents.
CoRR, 2022
Supervisory control for collision avoidance in vehicular networks using discrete event abstractions.
Discret. Event Dyn. Syst., 2017
Decomposing controller synthesis for safety specifications.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Synthesis of safety controllers robust to unmodeled intermittent disturbances.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Dependable Software Systems Engineering, 2015
On compositional symbolic controller synthesis inspired by small-gain theorems.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
On Most Permissive Observers in Dynamic Sensor Activation Problems.
IEEE Trans. Autom. Control., 2014
Supervisory control for collision avoidance in vehicular networks with imperfect measurements.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
A framework for optimization of sensor activation using most permissive observers.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
On most permissive observers in dynamic sensor optimization problems for discrete event systems.
Proceedings of the 48th Annual Allerton Conference on Communication, 2010
Dynamics and stability in network formation games with bilateral contracts.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007