Publications

Compositional Systems Lab

Export 149 results:
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
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)
T. Haque, Santos, J. De Los, and Lam, D., "A Mobile Interface designed for the Safety Verification of Autonomous Vehicle Trajectories", in ACM Mid-Southeast Conference, Gatlinburg, TN, 2014.  (2.42 MB)
X. Qin, Lin, L., Lysecky, S., Roveda, J., Son, Y. - J., and Sprinkle, J., "A Modular Framework to Enable Rapid Evaluation and Exploration of Energy Management Methods in Smart Home Platforms", Energy Systems, p. Online First, 2014 [Online]. Available: http://dx.doi.org/10.1007/s12667-014-0121-9
N. Toosizadeh, Bunting, M. R., Howe, C., Mohler, J., Sprinkle, J., and Najafi, B., "Motorized mobility scooters: The Use of Training/Intervention and Technology for Improving Driving Skills in Aging Adults - A Mini-Review", Gerontology, vol. 60, no. 4, pp. 357-365, 2014 [Online]. Available: http://www.karger.com/Article/FullText/356766

Pages