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

BIBO stability of continuous and discrete -time systems01:24

BIBO stability of continuous and discrete -time systems

481
System stability is a fundamental concept in signal processing, often assessed using convolution. For a system to be considered bounded-input bounded-output (BIBO) stable, any bounded input signal must produce a bounded output signal. A bounded input signal is one where the modulus does not exceed a certain constant at any point in time.
To determine the BIBO stability, the convolution integral is utilized when a bounded continuous-time input is applied to a Linear Time-Invariant (LTI) system....
481
First Order Systems01:21

First Order Systems

146
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...
146
Propagation of Uncertainty from Systematic Error01:10

Propagation of Uncertainty from Systematic Error

597
The atomic mass of an element varies due to the relative ratio of its isotopes. A sample's relative proportion of oxygen isotopes influences its average atomic mass. For instance, if we were to measure the atomic mass of oxygen from a sample, the mass would be a weighted average of the isotopic masses of oxygen in that sample. Since a single sample is not likely to perfectly reflect the true atomic mass of oxygen for all the molecules of oxygen on Earth, the mass we obtain from this...
597
Second Order systems I01:20

Second Order systems I

206
A servo system exemplifies a second-order system, featuring a proportional controller and load elements that ensure the output position aligns with the input position. The relationship between these components is described by a second-order differential equation. Applying the Laplace transform under zero initial conditions yields the transfer function, showing how inputs are converted to outputs in the system.
By reinterpreting the system, one can derive the closed-loop transfer function, which...
206
Second Order systems II01:18

Second Order systems II

147
In an underdamped second-order system, where the damping ratio ζ is between 0 and 1, a unit-step input results in a transfer function that, when transformed using the inverse Laplace method, reveals the output response. The output exhibits a damped sinusoidal oscillation, and the difference between the input and output is termed the error signal. This error signal also demonstrates damped oscillatory behavior. Eventually, as the system reaches a steady state, the error diminishes to zero.
147
Woodward–Hoffmann Selection Rules and Microscopic Reversibility01:34

Woodward–Hoffmann Selection Rules and Microscopic Reversibility

3.2K
Electrocyclic reactions, cycloadditions, and sigmatropic rearrangements are concerted pericyclic reactions that proceed via a cyclic transition state. These reactions are stereospecific and regioselective. The stereochemistry of the products depends on the symmetry characteristics of the interacting orbitals and the reaction conditions. Accordingly, pericyclic reactions are classified as either symmetry-allowed or symmetry-forbidden. Woodward and Hoffmann presented the selection criteria for...
3.2K

You might also read

Related Articles

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

Sort by
Same author

Material removal mechanism elucidated by a novel cross-scale model using a unified physical framework linking macroscopic stress distribution and microscopic motion states of abrasives for polishing.

Nanoscale·2026
Same author

Near-complete cryo-EM structure of the Klebsiella pneumoniae podophage RAN69 reveals tail fiber-spike interface and a divergent pre-ejectosome.

Structure (London, England : 1993)·2026
Same author

Development of a Closed One-Tube Colorimetric and Fluorescent LAMP Assay for the Rapid Detection of Feline Herpesvirus 1.

Animals : an open access journal from MDPI·2026
Same author

Viewpoints of community committee workers on public health emergency management in urban communities: a Q methodology study.

Frontiers in public health·2026
Same author

Coupled Effect of Interfacial Grit Particles and TGO Amplitude on Bond-Coat Crack Propagation in Thermal Barrier Coatings.

Materials (Basel, Switzerland)·2026
Same author

Endogenous living adjuvants for cancer vaccination: Concepts, mechanisms, and design principles.

Materials today. Bio·2026
Same journal

MT-MRI for detection of renal interstitial fibrosis in renovascular disease.

Scientific reports·2026
Same journal

Detection of underground objects from GPR data using a lightweight YOLO-based approach.

Scientific reports·2026
Same journal

Early systemic inflammatory-metabolic trajectory phenotypes are associated with survival outcomes in metastatic renal cell carcinoma treated with nivolumab.

Scientific reports·2026
Same journal

Water balance components in a dry-seeded rice-wheat system: Untangling the effects of tillage and mulching practices.

Scientific reports·2026
Same journal

Topological approaches to quantum tensor train compression via ZX-calculus and SVD.

Scientific reports·2026
Same journal

determinants of flood impacts and adaptive capacity among market vendors in Walukuba-Masese, Jinja city, Uganda.

Scientific reports·2026
See all related articles

Related Experiment Video

Updated: Aug 17, 2025

Quantum State Engineering of Light with Continuous-wave Optical Parametric Oscillators
09:23

Quantum State Engineering of Light with Continuous-wave Optical Parametric Oscillators

Published on: May 30, 2014

14.6K

Current-state opacity verification in discrete event systems using an observer net.

Abdeldjalil Labed1, Ikram Saadaoui2, Naiqi Wu1

  • 1Institute of Systems Engineering, Macau University of Science and Technology, Taipa, 999078, Macau SAR, China.

Scientific Reports
|December 14, 2022
PubMed
Summary
This summary is machine-generated.

This study introduces an observer net for verifying current-state opacity in discrete event systems. The method efficiently estimates system states to protect sensitive information from exploitation.

More Related Videos

Inherent Dynamics Visualizer, an Interactive Application for Evaluating and Visualizing Outputs from a Gene Regulatory Network Inference Pipeline
10:44

Inherent Dynamics Visualizer, an Interactive Application for Evaluating and Visualizing Outputs from a Gene Regulatory Network Inference Pipeline

Published on: December 7, 2021

2.2K
Real-Time Monitoring of Neurocritical Patients with Diffuse Optical Spectroscopies
07:12

Real-Time Monitoring of Neurocritical Patients with Diffuse Optical Spectroscopies

Published on: November 19, 2020

2.2K

Related Experiment Videos

Last Updated: Aug 17, 2025

Quantum State Engineering of Light with Continuous-wave Optical Parametric Oscillators
09:23

Quantum State Engineering of Light with Continuous-wave Optical Parametric Oscillators

Published on: May 30, 2014

14.6K
Inherent Dynamics Visualizer, an Interactive Application for Evaluating and Visualizing Outputs from a Gene Regulatory Network Inference Pipeline
10:44

Inherent Dynamics Visualizer, an Interactive Application for Evaluating and Visualizing Outputs from a Gene Regulatory Network Inference Pipeline

Published on: December 7, 2021

2.2K
Real-Time Monitoring of Neurocritical Patients with Diffuse Optical Spectroscopies
07:12

Real-Time Monitoring of Neurocritical Patients with Diffuse Optical Spectroscopies

Published on: November 19, 2020

2.2K

Area of Science:

  • Computer Science
  • Cybersecurity
  • Control Theory

Background:

  • Increasingly interconnected systems raise privacy concerns.
  • Protecting sensitive data in cyber-physical systems is critical.
  • Verifying system security properties is an active research area.

Purpose of the Study:

  • To investigate methods for verifying current-state opacity in discrete event systems.
  • To develop an efficient state estimation technique for privacy preservation.
  • To address the challenge of preventing sensitive state information disclosure.

Main Methods:

  • Utilized labeled Petri nets to model discrete event systems.
  • Introduced a novel 'observer net' sub-model with colored markers and advanced transition firing.
  • Developed both on-line and off-line algorithms for opacity verification using the observer net.

Main Results:

  • The observer net enables efficient and accurate state estimation.
  • An on-line algorithm was proposed to detect immediate information disclosure.
  • An off-line approach using a colored estimator was developed for comprehensive verification.
  • Necessary and sufficient conditions for verifying opacity were established.

Conclusions:

  • The proposed observer net and associated algorithms effectively verify current-state opacity.
  • This approach enhances the security and privacy of discrete event systems.
  • The findings contribute to the design of safer safety-critical systems.