共 50 条
- [41] Formal Model-Based Assurance Cases in Isabelle/SACM An Autonomous Underwater Vehicle Case Study 2020 IEEE/ACM 8TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE, 2020, : 11 - 21
- [42] SWARM OF AUTONOMOUS UNDERWATER VEHICLES - PRELIMINARY RESULTS OF THE CONTROL SYSTEM PEDAGOGIKA-PEDAGOGY, 2021, 93 (06): : 141 - 148
- [43] Contraction Based Tracking Control of Autonomous Underwater Vehicle IFAC PAPERSONLINE, 2017, 50 (01): : 2665 - 2670
- [44] MODEL-BASED MANEUVERING CONTROLS FOR AUTONOMOUS UNDERWATER VEHICLES JOURNAL OF DYNAMIC SYSTEMS MEASUREMENT AND CONTROL-TRANSACTIONS OF THE ASME, 1992, 114 (04): : 614 - 622
- [48] A Model Predictive Control Scheme for Autonomous Underwater Vehicle Formation Control 2018 13TH APCA INTERNATIONAL CONFERENCE ON CONTROL AND SOFT COMPUTING (CONTROLO), 2018, : 195 - 200
- [49] Adaptive Nonlinear Model Predictive Controller based on Polynomial form NARMAX model for Autonomous Underwater Vehicle IEEE INDICON: 15TH IEEE INDIA COUNCIL INTERNATIONAL CONFERENCE, 2018,