Search research articles

ABOUT JoVE

Overview Leadership Blog JoVE Help Center

AUTHORS

Publishing Process Editorial Board Scope & Policies Peer Review FAQ Submit

LIBRARIANS

Testimonials Subscriptions Access Resources Library Advisory Board FAQ

RESEARCH

JoVE Journal Methods Collections JoVE Encyclopedia of Experiments Archive

EDUCATION

JoVE Core JoVE Business JoVE Science Education JoVE Lab Manual Faculty Resource Center Faculty Site

Terms & Conditions of Use

Related Concept Videos

Control Systems: Applications

Control Systems: Applications

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...

Control Systems

Control Systems

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...

Control System Problem

Control System Problem

In an open-loop system, such as a basic thermostat, the poles of the transfer function influence the system's response but do not determine its stability. However, when feedback is introduced to form a closed-loop system, such as an advanced thermostat that adjusts heating based on room temperature, stability is governed by the new poles of the closed-loop transfer function.
When forming a closed-loop system, issues can arise if the poles cross into the unstable region, leading to potential...

Open and closed-loop control systems

Open and closed-loop control systems

Control systems are foundational elements in automation and engineering. They are broadly categorized into open-loop and closed-loop systems. These classifications hinge on the presence or absence of feedback mechanisms, significantly influencing the system's performance, complexity, and application.
An open-loop control system operates without feedback from the output. It consists of two primary elements: the controller and the controlled process. The controller receives an input signal...

Transfer Function in Control Systems

Transfer Function in Control Systems

The transfer function is a fundamental concept in the analysis and design of linear time-invariant (LTI) systems. It offers a concise way to understand how a system responds to different inputs in the frequency domain. It serves as a bridge between the time-domain differential equations that describe system dynamics and the frequency-domain representation that facilitates easier manipulation and analysis.
To derive the transfer function, consider a general nth-order linear time-invariant...

Block Diagram Reduction

Block Diagram Reduction

The process of deriving the transfer function of a control system often involves reducing its block diagram to a single block. This simplification can be achieved through a series of strategic operations, including relocating branch points and comparators. These operations preserve the overall function of the system while allowing for easier manipulation and combination of blocks.
The first step in this process is the identification and relocation of a branch point. A branch point, where a...

You might also read

Related Articles

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

Sort by

Same author

A Systematic Review on the Applications of Uppaal.

Sensors (Basel, Switzerland)·2025

Same author

Intelligent Industrial Process Control Systems.

Sensors (Basel, Switzerland)·2023

Same author

Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets.

Sensors (Basel, Switzerland)·2022

Same author

Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets.

Sensors (Basel, Switzerland)·2020

Search research articles

Related Experiment Video

Updated: Dec 9, 2025

The Modular Design and Production of an Intelligent Robot Based on a Closed-Loop Control Strategy

The Modular Design and Production of an Intelligent Robot Based on a Closed-Loop Control Strategy

Published on: October 14, 2017

Formal Verification of Control Modules in Cyber-Physical Systems.

Iwona Grobelna¹

¹Institute of Automatics, Electronics and Electrical Engineering, University of Zielona Góra, 65-417 Zielona Góra, Poland.

Sensors (Basel, Switzerland)

|September 15, 2020

Summary

This study introduces a new formal verification method for cyber-physical systems, ensuring consistency between UML state machine specifications and FPGA implementations. This approach enables early error detection in control module designs.

Keywords:

control systems cyber-physical systems formal verification manufacturing systems model checking

More Related Videos

Experimental Investigation of the Hierarchical Control in DC Microgrids Using a Real-time Simulator

Experimental Investigation of the Hierarchical Control in DC Microgrids Using a Real-time Simulator

Published on: February 14, 2025

Author Spotlight: Enhancing Engineering Education via WebVR-Based Online Laboratories

Author Spotlight: Enhancing Engineering Education via WebVR-Based Online Laboratories

Published on: February 23, 2024

Related Experiment Videos

Last Updated: Dec 9, 2025

The Modular Design and Production of an Intelligent Robot Based on a Closed-Loop Control Strategy

The Modular Design and Production of an Intelligent Robot Based on a Closed-Loop Control Strategy

Published on: October 14, 2017

Experimental Investigation of the Hierarchical Control in DC Microgrids Using a Real-time Simulator

Experimental Investigation of the Hierarchical Control in DC Microgrids Using a Real-time Simulator

Published on: February 14, 2025

Author Spotlight: Enhancing Engineering Education via WebVR-Based Online Laboratories

Author Spotlight: Enhancing Engineering Education via WebVR-Based Online Laboratories

Published on: February 23, 2024

Area of Science:

Computer Science
Control Engineering
Cyber-Physical Systems

Background:

State-based control modules are critical components in cyber-physical systems.
Ensuring the correctness and consistency of these modules is challenging.
Existing methods may lack seamless integration between specification, verification, and implementation.

Purpose of the Study:

To propose a novel formal verification method for state-based control modules in cyber-physical systems.
To bridge the gap between high-level specifications and hardware implementation.
To enable early detection of errors in system design.

Main Methods:

Formal verification using model checking.
Specification using UML state machine diagrams converted to a rule-based logical model.
Automatic transformation of the logical model into nuXmv for verification and VHDL for FPGA implementation.
Case study on a manufacturing automation system.

Main Results:

A consistent framework for formal verification and hardware implementation.
Demonstrated early error detection capabilities.
Successful application to a manufacturing automation system case study.

Conclusions:

The proposed method effectively verifies state-based control modules for cyber-physical systems.
The approach ensures consistency between formal specifications and hardware prototypes.
It facilitates early error detection, improving system reliability and development efficiency.