Results 91 to 100 of about 724,768 (322)

Opacity Verification for a Class of Modular Discrete Event Systems

IEEE Access
The verification of opacity of discrete event systems (DESs) is subjected to the curse of dimensionality because this issue has been proven to be EXPSPACE-complete. Therefore, how to improve the efficiency of opacity verification in DESs is crucial.
Jingkai Yang, Weilin Deng
doaj   +1 more source

Evaluation of the mean cycle time in stochastic discrete event dynamic systems

, 2011
We consider stochastic discrete event dynamic systems that have time evolution represented with two-dimensional state vectors through a vector equation that is linear in terms of an idempotent semiring.
Krivulin, Nikolai
core   +1 more source

Detectability in Stochastic Discrete Event Systems

IFAC Proceedings Volumes, 2014
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Keroglou, C., Hadjicostis, Christoforos N., Keroglou, C., Hadjicostis, Christoforos N.   +3 more
openaire   +4 more sources

Hybrid Auxetic Architectures: Integrating Curvature‐Driven Design for Enhanced Mechanical Tunability and Structural Performance

Advanced Engineering Materials, EarlyView.
Curvature‐tuned auxetic lattices are designed, fabricated, and mechanically characterized to reveal how geometric curvature governs stretchability, stress redistribution, and Poisson's ratio evolution. Photoelastic experiments visualize stress pathways, while hyperelastic simulations quantify deformation mechanics.
Shuvodeep De, Giovanni Meli, Meysam Khalighian, Anahita Emami   +3 more
wiley   +1 more source

Conservative simulation for discrete event systems

Informatica, 1998
Summary: More real systems have many components and their simulation requires significant execution times. The practical needs have conducted to distributed simulation rather than sequential method. Asynchronous parallel discrete event simulation (PDES) is studied and its methodology is presented. The paper presents the conservative methodology of PDES
openaire   +2 more sources

Multimodal Mechanical Testing of Additively Manufactured Ti6Al4V Lattice Structures: Compression, Bending, and Fatigue

Advanced Engineering Materials, EarlyView.
In this experimental study, the mechanical properties of additively manufactured Ti‐6Al‐4V lattice structures of different geometries are characterized using compression, four point bending and fatigue testing. While TPMS designs show superior fatigue resistance, SplitP and Honeycomb lattice structures combine high stiffness and strength. The resulting
Klaus Burkart, Jonas Schmidt, Anastasiya Toenjes, Johanna Eisenträger   +3 more
wiley   +1 more source

State-Based Control of Discrete-Event Systems Under Partial Observation

IEEE Access, 2018
This paper describes a state-based approach for supervisor synthesis of discrete-event systems under partial observation, based on predicates and predicate transformers.
Deguang Wang, Liyong Lin, Zhiwu Li, Walter Murry Wonham   +3 more
doaj   +1 more source

Design and Prototyping of Topology‐Optimized, Additively Manufactured Lightweight Components for Space Robotic Systems: A Case Study

Advanced Engineering Materials, EarlyView.
The results demonstrate a simulation‐driven workflow that applies LSB topology optimization with additive manufacturing constraints to mission‐specific load cases, integrating European Cooperation for Space Standardization compliant verification and manufacturability to develop structurally efficient rover suspension components.
Stelios K. Georgantzinos, Grigorios Kostopoulos, Eleni Papadopoulou, Stefanos Voulgaris, Alexandra Tseni, Panteleimon Bakalis, Maria N. Gkara, Chara Ch. Mitropoulou, Georgios Kazakis, Alin Munteanu, Jeremi Gancet, Nikos D. Lagaros   +11 more
wiley   +1 more source

A general framework for statistical inference on discrete event systems. [PDF]

We present a framework for statistical analysis of discrete event systems which combines tools such as simulation of marked point processes, likelihood methods, kernel density estimation and stochastic approximation to enable statistical analysis of the ...
Koning, A.J., Nicolai, R.P.
core   +1 more source

Modeling Maintenance Productivity Measurement of Engineering Production Systems: Discrete Event Simulation Approach [PDF]

, 2013
Modeling and simulation of industrial information communication systems and networks is one of the major concerns of productivity engineers for the establishment of productivity standards in virtually all functional areas of an industrial organization.
Bolu, Christian
core   +1 more source