David Kooi

According to our database, David Kooi authored at least 2 papers in 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET.

Anastasia Mavridou, Andreas Katis, Dimitra Giannakopoulou, David Kooi, Thomas Pressburger, Michael W. Whalen

Proceedings of the Formal Methods - 24th International Symposium, 2021

Self-Triggered Control to Guarantee Forward Pre-Invariance with Uniformly Positive Inter-Event Times.

David Kooi, Mohamed Maghenem, Ricardo G. Sanfelice

Proceedings of the 2021 American Control Conference, 2021