共 31 条
- [1] Small scale rotorcraft UAS flight control using MPC INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION AND SYSTEMS (ICCAS 2010), 2010, : 2529 - 2532
- [2] Improving Distribution System Operations Using Fleet Control of Electrolyzers 2020 IEEE/PES TRANSMISSION AND DISTRIBUTION CONFERENCE AND EXPOSITION (T&D), 2020,
- [3] Automated Slocum Mission Pipeline using Slocum Fleet Mission Control OCEANS 2023 - LIMERICK, 2023,
- [4] Towards Flight Control Verification Using Automated Theorem Proving NASA FORMAL METHODS, 2011, 6617 : 89 - 100
- [8] A real-time vital control module to increase capabilities of railway control systems in highly automated train operations Real-Time Systems, 2023, 59 : 636 - 661
- [10] Robust Control of Automated Manufacturing Systems With Assembly Operations Using Petri Nets 2016 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2016, : 3632 - 3638