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

What is Behavior?00:54

What is Behavior?

10.0K
Behaviors are actions that an organism engages in—they can be related to finding food, reproducing, defending against threats, and many other possible actions. Behaviors include activities related to the environment around the animal—such as migration—as well as social interactions within a species or population. Many behaviors involve motor output—that is, muscle movements—while others involve less visible actions, such as learning.
10.0K
State Space Representation01:27

State Space Representation

509
The frequency-domain technique, commonly used in analyzing and designing feedback control systems, is effective for linear, time-invariant systems. However, it falls short when dealing with nonlinear, time-varying, and multiple-input multiple-output systems. The time-domain or state-space approach addresses these limitations by utilizing state variables to construct simultaneous, first-order differential equations, known as state equations, for an nth-order system.
Consider an RLC circuit, a...
509
Block Diagram Reduction01:22

Block Diagram Reduction

512
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...
512
Control Systems: Applications01:25

Control Systems: Applications

1.1K
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.1K
Behavior Modification01:21

Behavior Modification

529
Behavioral approaches have often been criticized for ignoring mental processes and focusing solely on observable behavior. However, these approaches provide an optimistic perspective for individuals seeking to change their behaviors. Rather than concentrating on intrinsic personality traits, behavioral approaches suggest that even longstanding habits can be modified by changing the reward contingencies that maintain them.
A real-world application of operant conditioning principles is applied...
529
Automatic Processing and Automatic Social Behavior01:28

Automatic Processing and Automatic Social Behavior

204
Automatic processing refers to the cognitive operations that occur without conscious intent or awareness, playing a fundamental role in shaping social cognition and behavior. These processes enable individuals to navigate complex social environments efficiently by relying on mental shortcuts and pre-existing knowledge structures known as schemas. One of the most influential mechanisms underlying automatic processing is priming, which subtly activates mental representations through exposure to...
204

You might also read

Related Articles

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

Sort by
Same author

Functional Impairment in Behavioral Variant Frontotemporal Dementia: Cognitive, Behavioral, Personality, and Brain Perfusion Contributions.

Journal of personalized medicine·2025
Same author

Objective Assessment of Cognition for Detecting Subjective Cognitive Decline Is More Accurate than Subjective Estimations: The Role of Trait Affect.

Journal of Intelligence·2025
Same author

Early Detection of Cognitive Decline: Executive Functioning Index R4Alz-pc Predicts Memory-Related Concerns in Community Adults.

Diagnostics (Basel, Switzerland)·2025
Same author

LocSys: A Low-Code Paradigm for the Development of Cyber-Physical Applications.

Sensors (Basel, Switzerland)·2025
Same author

The Mixed Role of Sleep and Time of Day in Working Memory Performance of Older Adults with Mild Cognitive Impairment.

Healthcare (Basel, Switzerland)·2024
Same author

A Multilayer Architecture towards the Development and Distribution of Multimodal Interface Applications on the Edge.

Sensors (Basel, Switzerland)·2024

Related Experiment Video

Updated: Jan 11, 2026

A Step-by-Step Implementation of DeepBehavior, Deep Learning Toolbox for Automated Behavior Analysis
05:41

A Step-by-Step Implementation of DeepBehavior, Deep Learning Toolbox for Automated Behavior Analysis

Published on: February 6, 2020

9.8K

Defining a Domain-Specific Language for Behavior Verification of Cyber-Physical Applications.

Konstantinos Panayiotou1, Emmanouil Tsardoulias1, Theodoros Tsampouris1

  • 1School of Electrical and Computer Engineering, Aristotle University of Thessaloniki, 54636 Thessaloniki, Greece.

Sensors (Basel, Switzerland)
|November 13, 2025
PubMed
Summary
This summary is machine-generated.

This study introduces a low-code approach for behavior verification in Internet-of-Things (IoT) and cyber-physical systems (CPS). It simplifies development, boosting productivity and reducing errors for wider user access.

Keywords:
behavior verificationcyber–physical systemsdomain-specific languagesinternet-of-thingslow-code developmentmodel-driven development

More Related Videos

RBDT: A Computerized Task System based in Transposition for the Continuous Analysis of Relational Behavior Dynamics in Humans
11:09

RBDT: A Computerized Task System based in Transposition for the Continuous Analysis of Relational Behavior Dynamics in Humans

Published on: July 17, 2021

3.4K
Modeling Verbal Behavior Deficits with the Stimulus Control Ratio Equation, SCoRE
06:57

Modeling Verbal Behavior Deficits with the Stimulus Control Ratio Equation, SCoRE

Published on: May 14, 2019

10.8K

Related Experiment Videos

Last Updated: Jan 11, 2026

A Step-by-Step Implementation of DeepBehavior, Deep Learning Toolbox for Automated Behavior Analysis
05:41

A Step-by-Step Implementation of DeepBehavior, Deep Learning Toolbox for Automated Behavior Analysis

Published on: February 6, 2020

9.8K
RBDT: A Computerized Task System based in Transposition for the Continuous Analysis of Relational Behavior Dynamics in Humans
11:09

RBDT: A Computerized Task System based in Transposition for the Continuous Analysis of Relational Behavior Dynamics in Humans

Published on: July 17, 2021

3.4K
Modeling Verbal Behavior Deficits with the Stimulus Control Ratio Equation, SCoRE
06:57

Modeling Verbal Behavior Deficits with the Stimulus Control Ratio Equation, SCoRE

Published on: May 14, 2019

10.8K

Area of Science:

  • Computer Science
  • Software Engineering
  • Systems Engineering

Background:

  • Internet-of-Things (IoT) and cyber-physical systems (CPS) are complex due to their hybrid and distributed nature.
  • This complexity frequently results in implementation errors, leading to system malfunctions.
  • Current development practices struggle to manage this complexity, limiting accessibility and increasing risks.

Purpose of the Study:

  • To present a low-code methodology for automating behavior verification processes in IoT and CPS applications.
  • To enhance developer productivity and minimize risks associated with implementation errors.
  • To enable a broader range of end-users, including domain experts, to create and verify complex applications.

Main Methods:

  • Employed Model-Driven Development (MDD) to create a Domain-Specific Language (DSL).
  • Developed a methodology for automating the creation of behavior verification processes.
  • Utilized comparative scenario-based analysis and 43 detailed use cases for validation.

Main Results:

  • The proposed methodology successfully automates the development of behavior verification processes.
  • Domain experts can focus on verification logic rather than technical intricacies.
  • Demonstrated increased productivity and reduced error risks through extensive use cases.

Conclusions:

  • Low-code development significantly simplifies behavior verification for IoT and CPS.
  • The DSL-based MDD approach empowers domain experts and widens application development access.
  • This methodology is effective for state-of-the-art domains like smart homes and smart industries.