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

Classification of Systems-II01:31

Classification of Systems-II

134
Continuous-time systems have continuous input and output signals, with time measured continuously. These systems are generally defined by differential or algebraic equations. For instance, in an RC circuit, the relationship between input and output voltage is expressed through a differential equation derived from Ohm's law and the capacitor relation,
134
Naturalistic Observations02:30

Naturalistic Observations

15.4K
If you want to understand how behavior occurs, one of the best ways to gain information is to simply observe the behavior in its natural context. However, people might change their behavior in unexpected ways if they know they are being observed. How do researchers obtain accurate information when people tend to hide their natural behavior? As an example, imagine that your professor asks everyone in your class to raise their hand if they always wash their hands after using the restroom. Chances...
15.4K
Classification of Systems-I01:26

Classification of Systems-I

169
Linearity is a system property characterized by a direct input-output relationship, combining homogeneity and additivity.
Homogeneity dictates that if an input x(t) is multiplied by a constant c, the output y(t) is multiplied by the same constant. Mathematically, this is expressed as:
169
First Order Systems01:21

First Order Systems

83
First-order systems, such as RC circuits, are foundational in understanding dynamic systems due to their straightforward input-output relationship. Analyzing their responses to different input functions under zero initial conditions reveals significant insights into system behavior.
When a first-order system is subjected to a unit-step input, its response is characterized by its transfer function. By applying the Laplace transform of the unit-step input to the transfer function, expanding the...
83
Observational Learning01:12

Observational Learning

132
Albert Bandura's observational learning, also known as imitation or modeling, occurs when a person observes and imitates another's behavior. It is a quicker process than operant conditioning. A well-known example is the Bobo doll study, where children who saw an adult acting aggressively towards the doll were more likely to act aggressively when left alone, compared to those who observed a nonaggressive adult. Many psychologists view observational learning as a form of latent learning...
132

You might also read

Related Articles

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

Sort by
Same author

Retraction notice to "Enhancing the removal of organic and inorganic selenium ions using an exfoliated kaolinite/cellulose fibres nanocomposite" [Carbohydrate Polymers 252 (2021)117163].

Carbohydrate polymers·2026
Same author

Corrigendum to "Enhanced photocatalytic degradation of acephate pesticide over MCM-41/Co<sub>3</sub>O<sub>4</sub> nanocomposite synthesized from rice husk silica gel and peach leaves"[J Hazard Mater 389 (2020), 122129].

Journal of hazardous materials·2025
Same author

Corrigendum to "Insight into the role of integrated carbohydrate polymers (starch, chitosan, and β-cyclodextrin) with mesoporous silica as carriers for ibuprofen drug; equilibrium and pharmacokinetic properties" [Int. J. Biol. Macromol. 156 (2020) 537-547 / https://doi.org/10.1016/j.ijbiomac.2020.04.052].

International journal of biological macromolecules·2025
Same author

Molecular analysis of the emergence of Allium cepa L. Seeds response to saline stress and treatment with essential oil of Cordia verbenacea.

Scientific reports·2025
Same author

A novel Swin transformer based framework for speech recognition for dysarthria.

Scientific reports·2025
Same author

Effective and realistic sequestration of Sr<sup>2+</sup> and B<sup>3+</sup> ions from the aqueous environments using coral reefs based Ca-MCM-41: Gulf of Suez as case study.

Frontiers in chemistry·2025

Related Experiment Video

Updated: Jun 5, 2025

A Precise and Autonomous System for the Detection of Insect Emergence Patterns
06:22

A Precise and Autonomous System for the Detection of Insect Emergence Patterns

Published on: January 9, 2019

5.6K

Insertion attack identification in discrete event systems using petri nets with an observer.

Adeeb A Ahmed1, Yufeng Chen1, Ahmed M El-Sherbeeny2

  • 1Control Science and Engineering Department, School of Electro-Mechanical Engineering, Xidian University, Xi'an, China.

Plos One
|December 9, 2024
PubMed
Summary

This study introduces a new method for detecting sensor attacks in discrete event systems using Petri nets. The approach precisely identifies insertion attacks by monitoring tokens in a specially designed observation place.

More Related Videos

A Real-Time Interactive System for Studying Confrontational Pursuit Behavior in Rodents
06:25

A Real-Time Interactive System for Studying Confrontational Pursuit Behavior in Rodents

Published on: May 16, 2025

100
Using Insect Electroantennogram Sensors on Autonomous Robots for Olfactory Searches
07:23

Using Insect Electroantennogram Sensors on Autonomous Robots for Olfactory Searches

Published on: August 4, 2014

23.0K

Related Experiment Videos

Last Updated: Jun 5, 2025

A Precise and Autonomous System for the Detection of Insect Emergence Patterns
06:22

A Precise and Autonomous System for the Detection of Insect Emergence Patterns

Published on: January 9, 2019

5.6K
A Real-Time Interactive System for Studying Confrontational Pursuit Behavior in Rodents
06:25

A Real-Time Interactive System for Studying Confrontational Pursuit Behavior in Rodents

Published on: May 16, 2025

100
Using Insect Electroantennogram Sensors on Autonomous Robots for Olfactory Searches
07:23

Using Insect Electroantennogram Sensors on Autonomous Robots for Olfactory Searches

Published on: August 4, 2014

23.0K

Area of Science:

  • Computer Science
  • Control Theory
  • Cybersecurity

Background:

  • Discrete event systems (DES) are susceptible to sensor attacks that compromise system integrity.
  • Petri nets are a common modeling tool for DES, but modeling and detecting sensor attacks require advanced techniques.
  • Insertion attacks, a type of sensor attack, can manipulate system states and mislead observers.

Purpose of the Study:

  • To develop a novel framework for modeling and identifying sensor attacks, specifically insertion attacks, in discrete event systems using Petri nets.
  • To enhance the robustness and accuracy of attack detection mechanisms in secure discrete event systems.

Main Methods:

  • Formulation of a novel observation structure to systematically model insertion attacks within the Petri net framework.
  • Generation of an extended reachability graph incorporating the observation structure to identify critical markings.
  • Computation of an observation place using integer linear programming for precise attack occurrence detection.

Main Results:

  • The proposed method accurately detects attack occurrences by analyzing the number of tokens in the designed observation place.
  • The approach successfully models insertion attacks within the Petri net framework, even with negative markings.
  • Experimental verification confirms the effectiveness of the developed approach.

Conclusions:

  • The novel observation structure and integer linear programming formulation provide a precise and robust method for identifying sensor attacks in discrete event systems.
  • The approach offers enhanced detection accuracy and robustness compared to existing techniques, advancing the field of secure discrete event systems.