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

Self-Evaluation: Self-Enhancement and Self-Verification03:00

Self-Evaluation: Self-Enhancement and Self-Verification

5.8K
Social psychologists have documented that feeling good about ourselves and maintaining positive self-esteem is a powerful motivator of human behavior (Tavris & Aronson, 2008). In the United States, members of the predominant culture typically think very highly of themselves and view themselves as good people who are above average on many desirable traits (Ehrlinger, Gilovich, & Ross, 2005). Often, our behavior, attitudes, and beliefs are affected when we experience a threat to our...
5.8K
Strategies of Self-Presentation II: Self-Verification01:17

Strategies of Self-Presentation II: Self-Verification

187
Self-verification is a fundamental psychological drive wherein individuals seek affirmation of their self-concept from others, striving for consistency between their internal self-view and external perceptions. This drive operates even when the self-concept is negative, influencing interpersonal behavior and feedback preferences in complex and often counterintuitive ways. Unlike the self-enhancement motive, which seeks positive evaluations, self-verification prioritizes coherence and...
187
Initiation of Translation02:33

Initiation of Translation

38.9K
Initiating translation is complex because it involves multiple molecules. Initiator tRNA, ribosomal subunits, and eukaryotic initiation factors (eIFs) are all required to assemble on the initiation codon of mRNA. This process consists of several steps that are mediated by different eIFs.
First, the initiator tRNA must be selected from the pool of elongator tRNAs by eukaryotic initiation factor 2 (eIF2). The initiator tRNA (Met-tRNAi) has conserved sequence elements including modified bases at...
38.9K
Initiation of Translation02:33

Initiation of Translation

8.1K
8.1K
Linear Circuits01:17

Linear Circuits

869
A linear circuit is characterized by its output having a direct proportionality to its input, adhering to the linearity property, which encompasses the principles of homogeneity (scaling) and additivity. Homogeneity dictates that when the input, also referred to as the excitation, is multiplied by a constant factor, the output, known as the response, is correspondingly scaled by the same constant factor. For instance, if the current is multiplied by a constant 'k,' the voltage likewise...
869
Linear Equations01:27

Linear Equations

462
Linear equations form the foundation of many algebraic and real-world applications, characterized by their simplicity and utility. A linear equation is an algebraic statement in which each term is either a constant or a product of a constant and a single variable. These equations represent straight lines when plotted on a Cartesian coordinate plane, reflecting a constant rate of change between two quantities.A typical linear equation in one variable has the form: ax + b = c, where a, b, and c...
462

You might also read

Related Articles

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

Sort by
Same author

Analytical inverse kinematics solution and global arm angle optimization method for 7-DOF redundant robotic arms without offset.

ISA transactions·2026
Same author

Recent Advances in Fault Diagnosis and Opacity Analysis in Discrete Event Systems.

Sensors (Basel, Switzerland)·2026
Same author

A dataset and benchmark of carbonate thin-section images for deep learning.

Scientific data·2026
Same author

WCD-YOLO: A waste classification detection model.

Journal of environmental management·2026
Same author

Layout Optimization of the Six-Axis Industrial Robot Based on an Improved Whale Algorithm for Reducing Energy Consumption in Industry 5.0.

Exploration (Beijing, China)·2026
Same author

Organic material application holds great potential for alleviating soil nitrogen loss from cropland caused by shallow groundwater table fluctuations but increases N<sub>2</sub>O emissions.

Water research·2026

Related Experiment Video

Updated: Jan 28, 2026

Simplified Human Neutrophil Extracellular Traps NETs Isolation and Handling
09:43

Simplified Human Neutrophil Extracellular Traps NETs Isolation and Handling

Published on: April 16, 2015

31.5K

On-line verification of initial-state opacity by Petri nets and integer linear programming.

Xuya Cong1, Maira Pia Fanti2, Agostino Marcello Mangini2

  • 1School of Electro-Mechanical Engineering, Xidian University No. 2 South Taibai Road, Xi'an 710071, China; Department of Electrical and Information Engineering, Polytechnic of Bari, 70125 Bari, Italy.

ISA Transactions
|February 26, 2019
PubMed
Summary
This summary is machine-generated.

This study introduces an online method to verify initial-state opacity in discrete event systems, ensuring intruder cannot deduce secret states from observations. The approach uses labeled Petri nets and integer linear programming for efficient security analysis.

Keywords:
Initial-state opacityInteger linear programmingPetri nets

More Related Videos

Programmed Electrical Stimulation in Mice
07:29

Programmed Electrical Stimulation in Mice

Published on: May 26, 2010

21.3K
Continuous-Wave Propagation Channel-Sounding Measurement System - Testing, Verification, and Measurements
09:36

Continuous-Wave Propagation Channel-Sounding Measurement System - Testing, Verification, and Measurements

Published on: June 25, 2021

3.5K

Related Experiment Videos

Last Updated: Jan 28, 2026

Simplified Human Neutrophil Extracellular Traps NETs Isolation and Handling
09:43

Simplified Human Neutrophil Extracellular Traps NETs Isolation and Handling

Published on: April 16, 2015

31.5K
Programmed Electrical Stimulation in Mice
07:29

Programmed Electrical Stimulation in Mice

Published on: May 26, 2010

21.3K
Continuous-Wave Propagation Channel-Sounding Measurement System - Testing, Verification, and Measurements
09:36

Continuous-Wave Propagation Channel-Sounding Measurement System - Testing, Verification, and Measurements

Published on: June 25, 2021

3.5K

Area of Science:

  • Control Theory
  • Computer Science
  • Cybersecurity

Background:

  • Observability is crucial for discrete event systems (DES).
  • Initial-state opacity addresses security concerns where an intruder cannot infer secret initial states from system observations.
  • Applications include critical cyber-infrastructures like communication networks and defense systems.

Purpose of the Study:

  • To present a novel online methodology for verifying initial-state opacity in DES.
  • To address the challenge of detecting whether an intruder can determine if system states are part of a secret set.
  • To model DES using labeled Petri nets.

Main Methods:

  • Developed an online verification approach for initial-state opacity.
  • Utilized labeled Petri nets for system modeling.
  • Employed integer linear programming (ILP) to analyze system evolution and opacity under observed events.

Main Results:

  • Demonstrated an efficient online methodology for checking initial-state opacity.
  • The approach effectively handles partial observations by intruders.
  • Validation through examples confirms the methodology's efficiency.

Conclusions:

  • The proposed online method provides an effective way to verify initial-state opacity in discrete event systems.
  • This contributes to enhancing security in cyber-infrastructures by preventing unauthorized state inference.
  • The use of labeled Petri nets and ILP offers a robust framework for such security analyses.