Parametric Statistical Model Checking of UAV Flight Plan
- 29 May 2019
- book chapter
- Published by Springer Nature
- p. 57-74
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Secure estimation based Kalman Filter for cyber–physical systems against sensor attacksAutomatica, 2018
- Development of Vertical Movement Controller for Multirotor UAVs2017
- Smoothed model checking for uncertain Continuous-Time Markov ChainsInformation and Computation, 2016
- Unmanned Aerial Vehicles (UAVs) and Artificial Intelligence Revolutionizing Wildlife Monitoring and ConservationSensors, 2016
- Coupling and Importance Sampling for Statistical Model Checking2012
- UAV Attitude Estimation Using Unscented Kalman Filter and TRIADIEEE Transactions on Industrial Electronics, 2011
- PARAM: A Model Checker for Parametric Markov Models2010
- A Model-Based Fault Diagnosis System for Unmanned Aerial VehiclesIFAC Proceedings Volumes, 2009
- A complementary filter for attitude estimation of a fixed-wing UAV2008
- Parametric real-time reasoning1993