Model Checking of a Flapping-Wing Mirco-Air-Vehicle Trajectory Tracking Controller Subject to Disturbances-Reference-Cited by-同舟云学术

Model Checking of a Flapping-Wing Mirco-Air-Vehicle Trajectory Tracking Controller Subject to Disturbances

Published:2014 Issue: Volume: Page:531-543
ISSN:2194-5357
Container-title:Robot Intelligence Technology and Applications 2
language:
Short-container-title:

Author:

Goppert James,Gallagher John C.,Hwang Inseok,Matson Eric

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-05582-4_46

Reference10 articles.

1. Chutinan, A., Krogh, B.H.: Computational techniques for hybrid system verification. IEEE Transactions on Automatic Control 48(1), 64–75 (2003)

2. Lecture Notes in Computer Science;A. Chutinan,1999

3. Silva, B.I., Richeson, K., Krogh, B., Chutinan, A.: Modeling and verifying hybrid dynamic systems using checkmate. In: Proceedings of 4th International Conference on Automation of Mixed Processes, pp. 323–328 (2000)

4. Lecture Notes in Computer Science;E. Asarin,2002

5. Silva, B.I., Stursberg, O., Krogh, B.H., Engell, S.: An assessment of the current status of algorithmic approaches to the verification of hybrid systems. In: Proceedings of the 40th IEEE Conference on Decision and Control, vol. 3, pp. 2867–2874. IEEE (2001)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Crowding and Mutation Improvements in an EA for Flight Control Correction in a Flapping-Wing Vehicle;2023 IEEE Symposium Series on Computational Intelligence (SSCI);2023-12-05

2. Efficient and resilient micro air vehicle flapping wing gait evolution for hover and trajectory control;Engineering Applications of Artificial Intelligence;2016-09

3. Model Checking of a Training System Using NuSMV for Humanoid Robot Soccer;Advances in Intelligent Systems and Computing;2015