Work

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

Year: 2014

Type: book-chapter

Source: Advances in intelligent systems and computing

DOI: 10.1007/978-3-319-05582-4_46

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

Institutions: Purdue University West Lafayette, Wright State University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W99008288

FWCI: 3.597

Cites: 11

Cited by: 6

Related to: 10