Publications
Export 37 results:
Author [ Keyword
Filters: First Letter Of Keyword is C [Clear All Filters]
“CAN Coach: Vehicular Control through Human Cyber-Physical Systems”, in Proceedings of the ACM/IEEE 12th International Conference on Cyber-Physical Systems, New York, NY, USA, 2021.
, “Automatic Verification of Dynamic Constraints in LTI Control Systems Through Model Transformations”, in NSF Young Professionals Workshop on Exploring New Frontiers in Cyber-Physical Systems, Washington, DC, 2014.
, “Dissipation of Emergent Traffic Waves in Stop-and-Go Traffic Using a Supervisory Controller”, 57th IEEE Conference on Decision and Control, vol. 57. IEEE, Fontainbleau, Miami Beach, USA, 2018.
Preprint (1.5 MB)
Slides at CDC '18 (6.58 MB)
, 

“Dissipation of stop-and-go waves via control of autonomous vehicles: Field experiments”, Transportation Research Part C, vol. 89, 2018.
, “Experience Report: Constraint-based Modeling of Autonomous Vehicle Trajectories”, in Proceedings of the Workshop on Domain-Specific Modeling, New York, NY, USA, 2015, pp. 17–22.
, “Model-Based Software Synthesis for Self-Reconfigurable Sensor Network in Water Monitoring”, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 40-48.
, “CAN Coach: Vehicular Control through Human Cyber-Physical Systems”, in Proceedings of the ACM/IEEE 12th International Conference on Cyber-Physical Systems, New York, NY, USA, 2021.
,