# Biblio

Safety-Assured Development of the GPCA Infusion Pump Software. {EMSOFT}. :155–164.

.
2011.
DisCoF$^+$: Asynchronous DisCoF with Flexible Decoupling for Cooperative Pathfinding in Distributed Systems. IEEE International Conference on Automation Science and Engineering.

.
2015.
Sensing and Classifying Roadway Obstacles: The Street Bump Anomaly Detection and Decision Support System. Proceedings of the IEEE Int. Conf. on Automation Science and Engineering (CASE). :1288–1293.

.
2015.
Transient-state feasibility set approximation of power networks against disturbances of unknown amplitude. acc. :2767-2772.

.
2017. This paper develops methods to efficiently compute the set of disturbances on a power network that do not tip the frequency of each bus and the power flow in each transmission line beyond their respective bounds. For a linearized AC power network model, we propose a sampling method to provide superset and subset approximations with a desired accuracy of the set of feasible disturbances. We also introduce an error metric to measure the approximation gap and design an algorithm that is able to reduce its value without impacting the complexity of the resulting set approximations. Simulations on the IEEE 118-bus power network illustrate our results.