Publications
“On the Extraction and Analysis of a Social Network with Partial Organizational Observation”, in Proceedings of the 19th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, 2012, pp. 249-256.
, “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.
, “Encoding Aerial Pursuit/Evasion Games with Fixed Wing Aircraft into a Nonlinear Model Predictive Tracking Controller”, in Proceedings of the 43rd IEEE Conference on Decision and Control, 2004, vol. 3, pp. 2609–2614.
, “Efficient Reconfiguration Methods to Enable Rapid Deployment of Runtime Reconfigurable Systems”, in Asilomar Conference on Signals, Systems and Computers, Pacific Grove, CA, 2013.
, “A Domain-Specific Modeling Environment Applied to the Design of an Embedded Human System”, in TBD, p. (in preparation).
, “Domain Translation Using Graph Transformations”, in Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003, pp. 159–168.
, “Domain Specific Modeling Language for Test World Creation”, in CAT Vehicle Research Experience for Undergraduates, Tucson, 2019. Domain Specific Modeling Language for Test World Creation.pdf (77.75 KB)
, “Domain Evolution in Visual Languages Using Graph Transformations”, in OOPSLA, 2nd ACM OOPSLA Workshop on Domain-Specific Languages, 2002.
, “Deciding to Land a UAV Safely in Real Time”, in Proceedings of American Control Conference (ACC) 2005, 2005, pp. 3506–3511.
, “Dampening traffic waves with autonomous vehicles”, in ITRL Conference on Integrated Transport: Connected and Automated Transport Systems, 2016.
, “Controlling for Unsafe Events in Dense Traffic Through Autonomous Vehicles: Invited Talk Abstract”, in Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles, New York, NY, USA, 2017, pp. 7–7.
, “Constrained data acquisition for mobile citizen science applications”, in Proceedings of the compilation of the co-located workshops on DSM’11, TMC’11, AGERE!’11, AOOPES’11, NEAT’11, & VMIL’11, New York, NY, USA, 2011, pp. 267–272.
, “Computing Inverse MEG Signals in the Brain”, in 2005 IEEE Computational Systems Bioinformatics Conference, Controlling Complexity, 2005, pp. 332–335.
, “Cognitive Engine Testbed for Vehicular Communications”, in CAT Vehicle Research Experience for Undergraduates, Tucson, Arizona, 2018. Cognitive Engine Testbed for Vehicular Communications.pdf (1.69 MB)
, “A Closed-loop Model-based Design Approach Based On Automatic Verification and Transformation”, in The 14th Workshop on Domain-Specific Modeling, 2014, pp. 1-6.
, “Citizen Science in Support of Vegetation Index and Phenology Research”, in Phenology Research and Observations of Southwest Ecosystems Symposium (PROSE), 2010.
, “The CAT Vehicle Testbed: A Simulator with Hardware in the Loop for Autonomous Vehicle Applications”, in Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles (SCAV 2018), Porto, Portugal, Electronic Proceedings in Theoretical Computer Science , 2018, vol. 269. CAT Vehicle Testbed Slides (5.53 MB)
, “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.
, “autoVHDL: a domain-specific modeling language for the auto-generation of VHDL core wrappers”, 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. 71–76.
, “Autonomous vehicles: From vehicular control to traffic control”, in 2019 IEEE 58th Conference on Decision and Control (CDC), 2019.
, “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.
, “Automatic Control of VTOL Micro Air Vehicle During Transition Maneuver”, in AIAA Guidance, Navigation and Control Conference, 2009, p. 16 pages.
, “Automated Software Generation and Hardware Coprocessor Synthesis for Data-Adaptable Reconfigurable Systems”, in Engineering of Computer Based Systems (ECBS), 2012 IEEE 19th International Conference and Workshops on, 2012, pp. 15-23.
, “ANEMIC: Automatic Interface Enabler for Model Integrated Computing”, in Generative Programming and Component Engineering (GPCE ’03), 2003.
, “Analysis of a metamodel to estimate complexity of using a domain-specific language”, in Proceedings of the 10th Workshop on Domain-Specific Modeling, New York, NY, USA, 2010, pp. 13:1–13:6.
, “Adaptive Multifactor Routing with Constrained Data Sets”, in Wireless Innovation Forum Conference on Wireless Communication Technologies and Software Defined Radio (WInnComm), San Diego, CA, 2015.
, “Adaptive HSL Filters and Inverse Perspective Transforms in Lane Detection for Autonomous Driving”, in CAT Vehicle REU, 2019. AdaptiveHSLInversePerspective (1.86 MB)
, “The 12th Workshop on Domain-specific Modeling”, in Proceedings of the 3rd Annual Conference on Systems, Programming, and Applications: Software for Humanity, New York, NY, USA, 2012.
, “The 11th Workshop on Domain-specific Modeling”, in Proceedings of the Compilation of the Co-located Workshops on DSM'11, TMC'11, AGERE! 2011, AOOPES'11, NEAT'11, & VMIL'11, New York, NY, USA, 2011.
, “The 11th Workshop on Domain-specific Modeling”, in Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Companion, New York, NY, USA, 2011.
,