Casey Mackin

Reachability-Based Safety and Goal Satisfaction of Unmanned Aerial Platoons on Air Highways

Mo Chen, Qie Hu, Jaime Fisac, 2016, 1602.08150.

How You Can Learn to Stop Worrying and Love Reconfigurable Embedded Systems: A Tutorial

Roman L. Lysecky, Jonathan Sprinkle, Casey Mackin, 2013, 2013 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS).

Task Transition Scheduling for Data-Adaptable Systems

Roman L. Lysecky, Jonathan Sprinkle, Vijay Shankar Gopinath, 2017, ACM Trans. Embed. Comput. Syst..

Runtime hardware/software task transition scheduling for data-adaptable embedded systems

Roman L. Lysecky, Jonathan Sprinkle, Sean Whitsitt, 2013, 2013 International Conference on Field-Programmable Technology (FPT).

Guaranteeing Safety and Liveness of Unmanned Aerial Vehicle Platoons on Air Highways pdf

Mo Chen, Jaime F. Fisac, Claire J. Tomlin, 2016, ArXiv.

Efficient reconfiguration methods to enable rapid deployment of runtime reconfigurable systems

Roman L. Lysecky, Jonathan Sprinkle, Sean Whitsitt, 2013, 2013 Asilomar Conference on Signals, Systems and Computers.

Safe platooning of unmanned aerial vehicles via reachability

Mo Chen, Jaime F. Fisac, Claire J. Tomlin, 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

System Throughput Optimization and Runtime Communication Middleware Supporting Dynamic Software-Hardware Task Migration in Data Adaptable Embedded Systems

Roman L. Lysecky, Jonathan Sprinkle, Sean Whitsitt, 2013, 2013 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS).

Reachability-Based Safety and Liveness of Unmanned Aerial Vehicle Platoons on Air Highways

Jaime F. Fisac, Claire J. Tomlin, Mo Chen, 2016 .