Results 71 to 80 of about 87,788 (265)
Opacity Verification for a Class of Modular Discrete Event Systems
IEEE AccessThe 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
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 +3 more
doaj +1 more source
A Workflow to Accelerate Microstructure‐Sensitive Fatigue Life Predictions
Advanced Engineering Materials, EarlyView.This study introduces a workflow to accelerate predictions of microstructure‐sensitive fatigue life. Results from frameworks with varying levels of simplification are benchmarked against published reference results. The analysis reveals a trade‐off between accuracy and model complexity, offering researchers a practical guide for selecting the optimal ...
Luca Loiodice +2 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.Low‐cycle fatigue damage in Mn–Mo–Ni reactor pressure vessel steel is examined using a combined electron backscatter diffraction and positron annihilation lifetime spectroscopy approach. The study correlates texture evolution, dislocation substructure development, and vacancy‐type defect formation across uniform, necked, and fracture regions, providing
Apu Sarkar +2 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.A numerical–experimental framework is developed for characterizing multi‐matrix fiber‐reinforced polymers (MM‐FRPs) combining epoxy and polyurethane matrices. Harmonic bending tests are integrated with finite element model updating (FEMU) to simultaneously identify elastic and viscoelastic material parameters.
Rodrigo M. Dartora +4 more
wiley +1 more source
Diagnosability Enforcement in Discrete Event Systems Using Labeled Petri Nets
IEEE AccessThis research solves the problem of diagnosability enforcement in discrete event systems modeled by labeled Petri nets. Since fault diagnosis relies on system observations, the detection of the occurrence of faults can be interfered with by deadlocks ...
Wei Wei, Abdulrahman Al-Ahmari, Zhiwu Li
doaj +1 more source
Advanced Engineering Materials, EarlyView.A unified research data management framework for heterogeneous materials data is presented. The system integrates multimodal datasets using ontologies and knowledge graphs, enabling interoperability and FAIR (findable, accessible, interoperable, reusable) data principles. By linking data across scales and workflows, it supports reproducible, Artifitial
Doaa Mohamed +6 more
wiley +1 more source
PRODUCTION SYSTEM MODELING AND SIMULATION USING DEVS FORMALISM
Revista EIAThis article presents the Discrete Event System Specification (DEVS) formalism, in their atomic and coupled configurations; it is used for discrete event systems modeling and simulation.
Darío Amaya Hurtado +3 more
doaj
Identification of unobservable behavior in stochastic discrete event systems with a low number of sensors. [PDF]
MethodsX, 2023 Santillán-Mosquera R, Muñoz-Añasco M.
europepmc +1 more source
Advanced Engineering Materials, EarlyView.A simplified thermoplastic pultrusion model is developed to predict thermal fields in glass fiber/polyethylene terephthalate (GF/PET) composites with reduced computational cost. By combining effective material homogenization, validation against literature data, and Gaussian‐process‐based optimization, the study reveals how heating limits, pulling speed,
Elder Soares +3 more
wiley +1 more source