Publications

Compositional Systems Lab

Export 152 results:
2017
D. B. Work, Stern, R., Wu, F., Churchill, M., Cui, S., Pohlmann, H., Seibold, B., Piccoli, B., Bhadani, R., Bunting, M., Sprinkle, J., Monache, M. L. Delle, Hamilton, N., and Haulcy, R., "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 [Online]. Available: http://doi.acm.org/10.1145/3055378.3055380
R. E. Stern, Cui, S., Monache, M. Laura Dell, Bhadani, R., Bunting, M., Churchill, M., Hamilton, N., Haulcy, R. 'mani, Pohlmann, H., Wu, F., Piccoli, B., Seibold, B., Sprinkle, J., and Work, D. B., "Dissipation of stop-and-go waves via control of autonomous vehicles: Field experiments", arXiv, 2017 [Online]. Available: https://arxiv.org/abs/1705.01693
E. A. Olson, Risso, N., Johnson, A. M., and Sprinkle, J., "Fuzzy Control of an Autonomous Car using a Smart Phone", in Proceedings of the 2017 IEEE International Conference on Automatica (ICA-ACCA), 2017, pp. 1–5.
B. P. Malladi, Risso, N., and Zeleke, Y., "Model Predictive Control for Space Missions", in The First American Model Predictive Control Summer School, 2017.
N. Risso and Sanfelice, R. G., "Sufficient conditions for asymptotic stability and feedback control of set dynamical systems", in American Control Conference (ACC), 2017, 2017, pp. 1923–1928.
N. Sandoval, Mackin, C., Whitsitt, S., Gopinath, V. Shankar, Mahadevan, S., Milakovich, A., Merry, K., Sprinkle, J., and Lysecky, R., "Task Transition Scheduling for Data-Adaptable Systems", ACM Transactions on Embedded Computing Systems (TECS), vol. 16, pp. 105:1–105:28, 2017 [Online]. Available: http://doi.acm.org/10.1145/3047498
2016
K. Zhang, Sprinkle, J., and Sanfelice, R. G., "Computationally-Aware Switching Criteria for Hybrid Model Predictive Control Of Cyber-Physical Systems", IEEE Transactions on Automation Science and Engineering, vol. 13, no. 2, pp. 479-490, 2016 [Online]. Available: http://dx.doi.org/10.1109/TASE.2016.2523341
R. Stern, Wu, F., Churchill, M., Work, D. B., Monache, M. Laura Dell, Piccoli, B., Pohlmann, H., Cui, S., Seibold, B., Hamilton, N., Haulcy, R. 'mani, Bhadani, R., Bunting, M. R., and Sprinkle, J., "Dampening traffic waves with autonomous vehicles", in ITRL Conference on Integrated Transport: Connected and Automated Transport Systems, 2016.
N. Risso and Sanfelice, R. G., "Detectability and Invariance Properties for Set Dynamical Systems", IFAC-PapersOnLine, vol. 49, pp. 1030–1035, 2016.
A. Lizarraga, Lysecky, R., and Sprinkle, J., "Model-based Fuzzy Logic Classifier Synthesis for Optimization of Data-Adaptable Embedded Systems", in International Conference on InfoSymbiotics/DDDAS, 2016, Hartford, CT, 2016.
A. Lizarraga, Lysecky, R., and Sprinkle, J., "Model-driven Optimization of Data-Adaptable Embedded Systems", in COMPSAC, 2016, pp. 293-302 [Online]. Available: http://dx.doi.org/10.1109/COMPSAC.2016.156
S. Holcomb, Knowlton, A., Guerra, J., Asadi, H., Volos, H., Sprinkle, J., and Bose, T., "Power Efficient Vehicular Ad Hoc Networks", WInnComm. Reston, VA, pp. 26-31, 2016.
J. Sprinkle, Bhadani, R., Cui, S., and Seibold, B., "Robust Control of Autonomous Vehicle Trajectories", in AIMS, 2016.
M. Bunting, Zeleke, Y., McKeever, K., and Sprinkle, J., "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, p. 42--48 [Online]. Available: http://doi.acm.org/10.1145/3023147.3023154
R. Stern, Work, D., Cui, S., Pohlmann, H., Seibold, B., Monache, M. Laura Dell, Piccoli, B., and Sprinkle, J., "WiP Abstract: Stabilizing traffic with a single autonomous vehicle", in 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS), 2016, pp. 1-1 [Online]. Available: http://dx.doi.org/10.1109/ICCPS.2016.7479130
2015
T. Miller, Ross, C., Barbosa, M. Marques, Hirzallah, M., Volos, H., and Sprinkle, J., "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.
K. Zhang, Sprinkle, J., and Sanfelice, R. G., "Computationally-Aware Control of Autonomous Vehicles: A Hybrid Model Predictive Control Approach", Autonomous Robots, no. 39, pp. 503-517, 2015 [Online]. Available: http://dx.doi.org/10.1007/s10514-015-9469-5
J. Gray, Sprinkle, J., Tolvanen, J. - P., and Rossi, M., "DSM 2015: Proceedings of the Workshop on Domain-Specific Modeling". ACM, New York, NY, USA, 2015.
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 [Online]. Available: http://doi.acm.org/10.1145/2846696.2846706
K. Zhang, Sprinkle, J., and Sanfelice, R. G., "A Hybrid Model Predictive Controller for Path Planning and Path Following", in International Conference on Cyber-Physical Systems (ICCPS), Seattle, WA, 2015, pp. 139-148 [Online]. Available: http//dx.doi.org/10.1145/2735960.2735966
A. Heras, Claytor, L., Volos, H., Asadi, H., Sprinkle, J., and Bose, T., "Intersection Management via the Opportunistic Organization of Platoons by Route", in WinnComm 2016, 2015.
2014
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.
K. Zhang and Sprinkle, J., "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 [Online]. Available: http://dx.doi.org/10.1145/2688447.2688448
X. Qin, "A Data-Driven Approach for System Approximation and Set Point Optimization, with a Focus in HVAC Systems", University of Arizona, Tucson, AZ, 2014.
X. Qin, Lysecky, S., and Sprinkle, J., "A Data-Driven Linear Approximation of HVAC Utilization for Predictive Control and Optimization", IEEE Transactions on Control Systems Technology, vol. 99, p. 1, 2014 [Online]. Available: http://dx.doi.org/10.1109/TCST.2014.2332873
S. Whitsitt, Sprinkle, J., and Lysecky, R., "Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems", in The 14th Workshop on Domain-Specific Modeling, 2014, pp. 35-40 [Online]. Available: http://dx.doi.org/10.1145/2688447.2688454
F. Shaikh, He, W., Sprinkle, J., Chen, K., and Roveda, J., "A Heterogeneity Based Method to Identify Major Variability Components", in International Conference on Electronics, Communications, and Networks, Beijing, 2014.
S. Whitsitt and Sprinkle, J., "A Hybrid Controller for Autonomous Vehicle Lane Changing with Epsilon Dragging", in American Control Conference, Portland, Oregon, 2014, pp. 5307-5312 [Online]. Available: http://dx.doi.org/10.1109/ACC.2014.6859450
S. Whitsitt, "A Methodology for Mending Dynamic Constraint Violations in Cyber Physical Systems By Generating Model Transformations", University of Arizona, Tucson, AZ, 2014.  (6.41 MB)

Pages