Publications
Export 16 results:
Author Keyword Title Type [ Year
Filters: Author is S. Shankar Sastry [Clear All Filters]
“Reachability Calculations for Vehicle Safety during Manned/Unmanned Vehicle Interaction”, AIAA Journal of Guidance, Control, and Dynamics, vol. 35, pp. 138-152, 2012.
, “Switched and Symmetric Pursuit/Evasion Games With Online Model Predictive Control”, IEEE Transactions on Control Systems Technology, vol. 20, pp. 604-620, 2012.
, “Model-based design: a report from the trenches of the DARPA Urban Challenge”, Software and Systems Modeling, vol. 8, pp. 551-566, 2009.
, “Reachability Calculations for Automated Aerial Refueling”, in 47th IEEE Conference on Decision and Control, 2008, pp. 3706-3712.
, , “Transitioning Control and Sensing Technologies from Fully-autonomous Driving to Driver Assistance Systems”, in AAET: Automation, Assistance, and Embedded Systems for Transportation, 2008.
, “Transitioning Intelligence to Embedded Platforms”, in AVT-146 Symposium on "Platform Innovations and System Integration for Unmanned Air, Land and Sea Vehicles", 2007.
, “Deciding to Land a UAV Safely in Real Time”, in Proceedings of American Control Conference (ACC) 2005, 2005, pp. 3506–3511.
, “Implementing and Testing a Nonlinear Model Predictive Tracking Controller for Aerial Pursuit Evasion Games on a Fixed Wing Aircraft”, in Proceedings of American Control Conference (ACC) 2005, 2005, pp. 1509–1514.
, “Information Technology for Assisted Living at Home: Building a Wireless Infrastructure for Assisted Living”, in 27th Annual International Conference of the IEEE Engineering In Medicine and Biology Society (EMBS), 2005, pp. 3931–3934.
, “Online Safety Calculations for Glideslope Recapture”, Innovations in Systems and Software Engineering, vol. 1, pp. 157–175, 2005.
, “On the Partitioning of Syntax and Semantics For Hybrid Systems Tools”, in 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005 (CDC-ECC’05), 2005, pp. 4694–4699.
, “Using the Hybrid Systems Interchange Format to Input Design Models to Verification & Validation Tools”, in IEEE Aerospace Conference, Verification and Validation, 2005, pp. 1–6.
, “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.
, , “Toward Design Parameterization Support for Model Predictive Control”, in IEEE 4th International Conference on Intelligent Systems Design and Application, 2004.
,