Search for persons
X
?
2023 59th Annual Allerton Conference on Communication, Control, and Computing (Allerton) ,
2
Data-Driven Sequential Change Detection in Privacy-Sensitiv..:
, In:
?
Runtime Verification; Lecture Notes in Computer Science ,
4
Specification and Runtime Verification of Temporal Assessme..:
, In:
?
2021 American Control Conference (ACC) ,
5
A Gradient-Based Approach for Coordinating Smart Vehicles a..:
, In:
?
2021 IEEE 17th International Conference on Automation Science and Engineering (CASE) ,
7
An Application of Model Predictive Control to Reactive Moti..:
, In:
?
2020 Spring Simulation Conference (SpringSim) ,
8
A Simulator for Trading Traffic Privileges by Selfish Drivi..:
, In:
?
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) ,
11
Graphical Hybrid Automata with Simulink and Stateflow:
, In:
?
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) ,
12
Graphical Modeling of Hybrid Dynamics with Simulink and Sta..:
, In:
?
Proceedings of the Symposium on Modeling and Simulation of Complexity in Intelligent, Adaptive and Autonomous Systems ,
13
Hybrid simulation for cyber physical systems : a panel o..:
, In:
?
Proceedings of the 2017 Winter Simulation Conference ,
14
A simevents model for hybrid traffic simulation:
, In:
?
Proceedings of the Symposium on Theory of Modeling & Simulation ,
15