Publications
Export 14 results:
Author Keyword Title Type [ Year
Filters: First Letter Of Title is S [Clear All Filters]
“Safer Adaptive Cruise Control for Traffic Wave Dampening”, in ACM/IEEE 12th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2021), 2021.
, “Safer Adaptive Cruise Control for Traffic Wave Dampening”, 2020.
CASE%20paper%20draft%20i.pdf (2.47 MB)
, 
“Safety and Stability Analysis of the FollowerStopper Traffic Wave Dampening Controller (Late-Breaking Poster)”, in American Control Conference, 2020.
, “Safety and stability analysis of FollowerStopper”, in CAT Vehicle Research Experience for Undergraduates, Tucson, 2019.
Safety and stability analysis of FollowerStopper.pdf (2 MB)
, 
“A Sliding Window for Path Mapping based on a Pseudo-Derivative Method in Autonomous Navigation”, in IEEE Vehicular Technology Conference, VTC-2019, Fall, Honolulu, Hawaii, 2019.
, “Sufficient conditions for asymptotic stability and feedback control of set dynamical systems”, in American Control Conference (ACC), 2017, 2017, pp. 1923–1928.
, “A Safe Autonomous Vehicle Trajectory Domain Specific Modeling Language For Non-Expert Development”, in Proceedings of the International Workshop on Domain-Specific Modeling (DSM 2016), Amsterdam, Netherlands, 2016, pp. 42–48.
, “A symbolic simulator for hybrid equations”, in Proceedings of the 2014 Summer Simulation Multiconference, 2014, p. 18.
, “System Throughput Optimization and Runtime Communication Middleware Supporting Dynamic Software-Hardware Task Migration in Data Adaptable Embedded Systems”, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 59-68.
, “Summary of the 6th International Workshop on Multi-Paradigm Modeling (MPM’12)”, in Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, New York, NY, USA, 2012.
, “Switched and Symmetric Pursuit/Evasion Games With Online Model Predictive Control”, IEEE Transactions on Control Systems Technology, vol. 20, pp. 604-620, 2012.
, “Simplification of Semantically-Rich Model Transformations Through Generated Transformation Blocks”, in Proceedings of the 8th IEEE Workshop on Model-Based Development for Computer-Based Systems, 2011, pp. 260-268.
, “Simulations and Flight Experiments of Transition Maneuvers of a VTOL Micro Air Vehicle”, International Journal of Micro Air Vehicles, vol. 2, pp. 69–89, 2010.
, “Synthesizing Executable Simulations from Structural Models of Component-Based Systems”, Electronic Communications of the European Association of Software Science and Technology (EASST), vol. 21, p. 10 pages, 2009.
,