Jonathan DeCastro
Jonathan DeCastro
Toyota Research Institute
Verified email at cornell.edu - Homepage
Title
Cited by
Cited by
Year
Robust fault diagnosis of aircraft engines: A nonlinear adaptive estimation-based approach
X Zhang, L Tang, J DeCastro
IEEE Transactions on Control Systems Technology 21 (3), 861-868, 2012
622012
Rate-based model predictive control of turbofan engine clearance
JA DeCastro
Journal of propulsion and power 23 (4), 804-813, 2007
472007
Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles
J Alonso-Mora, JA DeCastro, V Raman, D Rus, H Kress-Gazit
Autonomous Robots 42 (4), 801-824, 2018
422018
Collision-Free Reactive Mission and Motion Planning for Multi-Robot Systems
JA DeCastro, J Alonso-Mora, V Raman, D Rus, H Kress-Gazit
362015
Autonomous vehicle battery state-of-charge prognostics enhanced mission planning
B Zhang, L Tang, J DeCastro, M Roemer, K Goebel
International Journal of Prognostics and Health Management 5 (2), 2014
332014
A testbed for real-time autonomous vehicle PHM and contingency management applications
L Tang, E Hettler, B Zhang, J DeCastro
Annual Conference of the PHM Society 3 (1), 2011
332011
A recursive receding horizon planning for unmanned vehicles
B Zhang, L Tang, J DeCastro, MJ Roemer, K Goebel
IEEE Transactions on Industrial Electronics 62 (5), 2912-2920, 2014
322014
Synthesis of Nonlinear Continuous Controllers for Verifiably-Correct High-Level, Reactive Behaviors
JA DeCastro, H Kress-Gazit
International Journal of Robotics Research, 2014
322014
Guaranteeing reactive high-level behaviors for robots with complex dynamics
JA DeCastro, H Kress-Gazit
2013 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2013
292013
Development of a numerical model for high-temperature shape memory alloys
JA DeCastro, KJ Melcher, RD Noebe, DJ Gaydosh
Smart Materials and Structures 16 (6), 2080, 2007
292007
Exact nonlinear filtering and prediction in process model-based prognostics
JA DeCastro, L Tang, KA Loparo, K Goebel, G Vachtsevanos
Annual Conference of the PHM Society 1 (1), 2009
202009
A verification methodology for prognostic algorithms
B Zhang, L Tang, J DeCastro, K Goebel
2010 IEEE AUTOTESTCON, 1-8, 2010
172010
Dynamics-Driven Adaptive Abstraction for Reactive High-Level Mission and Motion Planning
JA DeCastro, V Raman, H Kress-Gazit
Proceedings of the 2015 International Conference on Robotics and Automation …, 2015
152015
DiversityGAN: Diversity-aware vehicle motion prediction via latent semantic sampling
X Huang, SG McGill, JA DeCastro, L Fletcher, JJ Leonard, BC Williams, ...
IEEE Robotics and Automation Letters 5 (4), 5089-5096, 2020
13*2020
Nonlinear controller synthesis and automatic workspace partitioning for reactive high-level behaviors
JA DeCastro, H Kress-Gazit
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
132016
A safety verification approach to fault-tolerant aircraft supervisory control
J DeCastro, L Tang, B Zhang, G Vachtsevanos
AIAA Guidance, Navigation, and Control Conference, 6557, 2011
112011
Compositional and contract-based verification for autonomous driving on road networks
L Liebenwein, W Schwarting, CI Vasile, J DeCastro, J Alonso-Mora, ...
Robotics Research, 163-181, 2020
102020
Automated generation of dynamics-based runtime certificates for high-level control
J DeCastro, R Ehlers, M Rungger, A Balkan, H Kress-Gazit
Discrete Event Dynamic Systems, 1-35, 2017
82017
Dynamics-based reactive synthesis and automated revisions for high-level robot control
JA DeCastro, R Ehlers, M Rungger, A Balkan, P Tabuada, H Kress-Gazit
arXiv preprint arXiv:1410.6375, 2014
72014
Counterexample-guided safety contracts for autonomous driving
J DeCastro, L Liebenwein, CI Vasile, R Tedrake, S Karaman, D Rus
The 13th International Workshop on the Algorithmic Foundations of Robotics …, 2018
52018
The system can't perform the operation now. Try again later.
Articles 1–20