Shankar Sastry

Reachability Calculations for Vehicle Safety during Manned/Unmanned Vehicle Interaction

Jerry Ding, Jonathan Sprinkle, Claire Tomlin, Shankar Sastry, Jim Paunicka

AIAA Journal of Guidance, Control, and Dynamics

Jan 2012

Switched and Symmetric Pursuit/Evasion Games With Online Model Predictive Control

Mikael Eklund, Jonathan Sprinkle, Shankar Sastry

IEEE Transactions on Control Systems Technology

Jan 2012

Model-based design: a report from the trenches of the DARPA Urban Challenge

Jonathan Sprinkle, Mikael Eklund, Humberto Gonzalez, Esten Grøtli, Ben Upcroft, Alex Makarenko, Will Uther, Michael Moser, Robert Fitch, Hugh Durrant-Whyte, Shankar Sastry

Software and Systems Modeling

Jan 2009

Reachability Calculations for Automated Aerial Refueling

Jerry Ding, Jonathan Sprinkle, Shankar Sastry, Claire Tomlin

47th IEEE Conference on Decision and Control

Jan 2008

Recovering Models of a Four-Wheel Vehicle Using Vehicular System Data

Jonathan Sprinkle, Mikael Eklund, Humberto Gonzalez, Esten Grøtli, Pannag Sanketi, Michael Moser, Shankar Sastry

Jan 2008

Transitioning Control and Sensing Technologies from Fully-autonomous Driving to Driver Assistance Systems

Humberto Gonzalez, Esten Grøtli, Todd Templeton, Jan Biermeyer, Jonathan Sprinkle, Shankar Sastry

AAET: Automation, Assistance, and Embedded Systems for Transportation

Jan 2008

Transitioning Intelligence to Embedded Platforms

Mikael Eklund, Jonathan Sprinkle, Todd Templeton, Shankar Sastry

AVT-146 Symposium on Platform Innovations and System Integration for Unmanned Air, Land and Sea Vehicles\"

Jan 2007

Deciding to Land a UAV Safely in Real Time

Jonathan Sprinkle, Mikael Eklund, Shankar Sastry

Proceedings of American Control Conference (ACC) 2005

Jan 2005

Implementing and Testing a Nonlinear Model Predictive Tracking Controller for Aerial Pursuit Evasion Games on a Fixed Wing Aircraft

Mikael Eklund, Jonathan Sprinkle, Shankar Sastry

Proceedings of American Control Conference (ACC) 2005

Jan 2005

Information Technology for Assisted Living at Home: Building a Wireless Infrastructure for Assisted Living

Mikael Eklund, Thomas Hansen, Jonathan Sprinkle, Shankar Sastry

27th Annual International Conference of the IEEE Engineering In Medicine and Biology Society (EMBS)

Jan 2005

On the Partitioning of Syntax and Semantics For Hybrid Systems Tools

Jonathan Sprinkle, Aaron Ames, Alessandro Pinto, Haiyang Zheng, Shankar Sastry

44th IEEE Conference on Decision and Control and European Control Conference ECC 2005 (CDC-ECC'05)

Jan 2005

Online Safety Calculations for Glideslope Recapture

Jonathan Sprinkle, Aaron Ames, Mikael Eklund, Ian Mitchell, Shankar Sastry

Innovations in Systems and Software Engineering

Jan 2005

Using smart sensors and a camera phone to detect and verify the fall of elderly persons

T.R. Hansen, J.M. Eklund, Jonathan Sprinkle, Ruzena Bajcsy, Shankar Sastry

3rd European Medicine, Biology and Engineering Conference

Jan 2005

Using the Hybrid Systems Interchange Format to Input Design Models to Verification & Validation Tools

Jonathan Sprinkle, Omid Shakernia, Robert Miller, Shankar Sastry

IEEE Aerospace Conference, Verification and Validation

Jan 2005

Encoding Aerial Pursuit/Evasion Games with Fixed Wing Aircraft into a Nonlinear Model Predictive Tracking Controller

Jonathan Sprinkle, Mikael Eklund, Jin Kim, Shankar Sastry

Proceedings of the 43rd IEEE Conference on Decision and Control

Jan 2004

Pursuit/Evasion of Fixed-wing Aircraft through Model-Predictive Control

Jonathan Sprinkle, Mikael Eklund, Jin Kim, Shankar Sastry

Jan 2004

Toward Design Parameterization Support for Model Predictive Control

Jonathan Sprinkle, Mikael Eklund, Shankar Sastry

IEEE 4th International Conference on Intelligent Systems Design and Application

Jan 2004