Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Quality Assurance01:19

Quality Assurance

3.7K
Quality assurance is the overarching term used to describe the activities employed to ensure the proper performance of a system. These activities can be classified into three categories: quality control, quality assessment, and internal corrective measures. Typically, these activities work cyclically: quality control is performed before and during the analysis, while quality assessment occurs during and after the investigation. Internal corrective measures are implemented based on the findings...
3.7K
Distribution Reliability and Automation01:25

Distribution Reliability and Automation

554
Distribution reliability in electrical power systems is critical for ensuring an uninterrupted power supply to consumers at minimal cost. According to IEEE Standard Terms, reliability is the probability that a device will function without failure over a specified time period or amount of usage. For electric power distribution, this translates to maintaining continuous power supply and addressing customer concerns over power outages. Several indices, as defined by IEEE Standard 1366-2012, are...
554
Control Systems01:10

Control Systems

2.0K
Control systems are everywhere in contemporary society, influencing diverse applications from aerospace to automated manufacturing. These systems can be found naturally within biological processes, such as blood sugar regulation and heart rate adjustment in response to stress, as well as in man-made systems like elevators and automated vehicles. A control system is essentially a network of subsystems and processes that collaboratively convert specific inputs into desired outputs.
At the heart...
2.0K
Multi-input and Multi-variable systems01:22

Multi-input and Multi-variable systems

454
Cruise control systems in cars are designed as multi-input systems to maintain a driver's desired speed while compensating for external disturbances such as changes in terrain. The block diagram for a cruise control system typically includes two main inputs: the desired speed set by the driver and any external disturbances, such as the incline of the road. By adjusting the engine throttle, the system maintains the vehicle's speed as close to the desired value as possible.
In the absence of...
454
Control Systems: Applications01:25

Control Systems: Applications

1.3K
Electrical engineering plays a pivotal role in our daily lives, with control systems at the heart of many applications, from home appliances to sophisticated space shuttles. Control systems manage and regulate the behavior of devices and processes, ensuring they function safely, correctly, and efficiently.
In modern vehicles, control systems manage various functions to enhance performance and safety. The steering wheel and accelerator are primary inputs in a car's control system. The...
1.3K
Application of Linearization and Approximation01:29

Application of Linearization and Approximation

127
A drone flying through complex terrain often relies on more than one sensing method to estimate small changes in altitude. Along with direct measurements, air pressure provides a useful indirect indicator of vertical movement. Atmospheric pressure decreases as altitude increases, and this relationship is commonly described using an exponential model. Although accurate, converting pressure measurements into altitude values requires calculations that are too complex to perform repeatedly during...
127

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Low-Temperature Deposition of Polycrystalline ε-Ga<sub>2</sub>O<sub>3</sub> for Deep Ultraviolet Perceptual Photodetection.

The journal of physical chemistry letters·2026
Same author

Single-crystal, 4-inch and ultrathin gallium oxide for sundial-inspired high-dimensional solar-blind photodetection metasystem.

Nature communications·2026
Same author

Family Function and Self-Management in Glaucoma Patients: Chain Mediation of Psychological Capital and Coping Style.

Patient preference and adherence·2026
Same author

Dielectric-Confinement-Induced in-Plane Photoelectric Anisotropy in Isotropic Quasi-1D γ-GaS Nanoribbon.

Advanced science (Weinheim, Baden-Wurttemberg, Germany)·2026
Same author

Discovery of novel IKKβ allosteric inhibitors as dual-antioxidant for cerebral ischemia-reperfusion injury therapy by upregulating HO-1 and SLC7A11.

Bioorganic chemistry·2026
Same author

A Flexible Metamaterial Absorber via Loss Engineering for Large-Area Ultra-Broadband Infrared Extinction.

Advanced science (Weinheim, Baden-Wurttemberg, Germany)·2026

Related Experiment Video

Updated: Mar 10, 2026

Automated Deployment of an Internet Protocol Telephony Service on Unmanned Aerial Vehicles Using Network Functions Virtualization
07:49

Automated Deployment of an Internet Protocol Telephony Service on Unmanned Aerial Vehicles Using Network Functions Virtualization

Published on: November 26, 2019

8.6K

Real-Time Reliability Verification for UAV Flight Control System Supporting Airworthiness Certification.

Haiyang Xu1,2, Ping Wang1

  • 1School of Science and Information, Qingdao Agricultural University, Qingdao, Shandong, China.

Plos One
|December 6, 2016
PubMed
Summary
This summary is machine-generated.

This study presents a model-based framework to verify the real-time reliability of unmanned aerial vehicle (UAV) flight control systems. The approach ensures airworthiness by integrating modeling and formal verification of time properties.

More Related Videos

Evaluating Flight Performance and Eye Movement Patterns Using Virtual Reality Flight Simulator
03:49

Evaluating Flight Performance and Eye Movement Patterns Using Virtual Reality Flight Simulator

Published on: May 19, 2023

1.6K
Design and Application of a Fault Detection Method Based on Adaptive Filters and Rotational Speed Estimation for an Electro-Hydrostatic Actuator
06:45

Design and Application of a Fault Detection Method Based on Adaptive Filters and Rotational Speed Estimation for an Electro-Hydrostatic Actuator

Published on: October 28, 2022

2.2K

Related Experiment Videos

Last Updated: Mar 10, 2026

Automated Deployment of an Internet Protocol Telephony Service on Unmanned Aerial Vehicles Using Network Functions Virtualization
07:49

Automated Deployment of an Internet Protocol Telephony Service on Unmanned Aerial Vehicles Using Network Functions Virtualization

Published on: November 26, 2019

8.6K
Evaluating Flight Performance and Eye Movement Patterns Using Virtual Reality Flight Simulator
03:49

Evaluating Flight Performance and Eye Movement Patterns Using Virtual Reality Flight Simulator

Published on: May 19, 2023

1.6K
Design and Application of a Fault Detection Method Based on Adaptive Filters and Rotational Speed Estimation for an Electro-Hydrostatic Actuator
06:45

Design and Application of a Fault Detection Method Based on Adaptive Filters and Rotational Speed Estimation for an Electro-Hydrostatic Actuator

Published on: October 28, 2022

2.2K

Area of Science:

  • Aerospace Engineering
  • Software Engineering
  • Formal Methods

Background:

  • Ensuring the real-time reliability of Unmanned Aerial Vehicle (UAV) flight control systems is critical for airworthiness certification.
  • Existing verification methods may not adequately address the complex temporal properties of these systems.

Purpose of the Study:

  • To propose and validate a model-based integration framework for the modeling and verification of time properties in UAV flight control systems.
  • To enhance the real-time reliability assessment for UAVs.

Main Methods:

  • Developed a framework integrating the Modeling and Analysis of Real-time and Embedded systems (MARTE) standard.
  • Utilized class diagrams for static software modeling and state charts for dynamic modeling.
  • Defined transformation rules to convert MARTE models into a formal integrated model for verification using existing tools.
  • Proposed an algorithm to automatically generate temporal logic formulas from Time-Sensitive Live Sequence Charts (TLSC) for real-time specifications.

Main Results:

  • Successfully modeled a simplified UAV flight control system within the proposed framework.
  • The framework enabled precise analysis and verification of the system's real-time properties.
  • Demonstrated the capability to create system models and verify real-time reliability.

Conclusions:

  • The proposed model-based integration framework effectively supports the creation and verification of real-time properties for UAV flight control systems.
  • This approach contributes to meeting airworthiness certification standards by ensuring system reliability.
  • The automated extraction of real-time properties from TLSC enhances the verification process.