Publications

Export 37 results:
Author [ Keyword(Desc)] Title Type Year
Filters: First Letter Of Keyword is C  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
controller area network
M. Nice, Elmadani, S., Bhadani, R., Bunting, M., Sprinkle, J., and Work, D., 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.
Controls
S. Whitsitt, 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.
cyber-physical systems
K. McKeever, Zeleke, Y., Bunting, M., and Sprinkle, J., 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.
K. Zhang and Sprinkle, J., 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.
M. Nice, Elmadani, S., Bhadani, R., Bunting, M., Sprinkle, J., and Work, D., 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.