Publications
“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.
, “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 FollowerStopper”, in CAT Vehicle Research Experience for Undergraduates, Tucson, 2019.
Safety and stability analysis of FollowerStopper.pdf (2 MB)
, 
“Safety and Stability Analysis of the FollowerStopper Traffic Wave Dampening Controller (Late-Breaking Poster)”, in American Control Conference, 2020.
, “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.
, “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.
, “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.
, “A symbolic simulator for hybrid equations”, in Proceedings of the 2014 Summer Simulation Multiconference, 2014, p. 18.
, “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.
, “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.
, “Task Transition Scheduling for Data-Adaptable Systems”, ACM Transactions on Embedded Computing Systems (TECS), vol. 16, pp. 105:1–105:28, 2017.
, “Teaching students to learn to learn mobile phone programming”, in Proceedings of the compilation of the co-located workshops on DSM’11, TMC’11, AGERE!’11, AOOPES’11, NEAT’11, &\#38; VMIL’11, New York, NY, USA, 2011, pp. 261–266.
, “Time-Triggered Buffers for Event-Based Middleware Systems”, Innovations in Systems and Software Engineering, vol. 7, pp. 9–22, 2011.
, “Toward Design Parameterization Support for Model Predictive Control”, in IEEE 4th International Conference on Intelligent Systems Design and Application, 2004.
, “Toward ultra high speed locomotors: Design and test of a cheetah robot hind limb”, in Robotics and Automation (ICRA), 2011 IEEE International Conference on, 2011.
, “Towards a Standard for Model Specification and Storage”, in Proceedings of the IEEE Systems, Man, and Cybernetics Conference, 2000.
, “Tracking vehicle trajectories and fuel rates in phantom traffic jams: Methodology and data”, Transportation Research Part C: Emerging Technologies, vol. 99, pp. 82–109, 2019.
, “Transitioning Control and Sensing Technologies from Fully-autonomous Driving to Driver Assistance Systems”, in AAET: Automation, Assistance, and Embedded Systems for Transportation, 2008.
, “Transitioning Intelligence to Embedded Platforms”, in AVT-146 Symposium on "Platform Innovations and System Integration for Unmanned Air, Land and Sea Vehicles", 2007.
, ,
“UAV Search : Maximizing Target Acquisition”, in 17th IEEE Conference on the Engineering of Computer Based Systems, 2010, pp. 9–19.
, “On the Use of Graph Transformation in the Formal Specification of Model Interpreters”, Journal of Universal Computer Science, vol. 9, pp. 1296–1321, 2003.
, , “User-Friendly Method to Optimize the Network of a Cyber-Physical System”, in 85th Annual Meeting of the APS Southeastern Section, Knoxville, Tennessee, 2018.
User-Friendly Method to Optimize the Network of a Cyber-Physical System.pdf (6.65 MB)
, 
“Using Integrative Modeling for Advanced Heterogeneous System Simulation”, in The 8th OOPSLA Workshop on Domain-Specific Modeling, 2008, pp. 80-85.
, “Using Integrative Models in an Advanced Heterogeneous System Simulation”, in IEEE International Conference on the Engineering of Computer-Based Systems, Los Alamitos, CA, USA, 2009, pp. 3-10.
,