Results 11 to 20 of about 114,207 (267)
Entropy, 2022 This paper is concerned with the adaptive event-triggered finite-time pinning synchronization control problem for T-S fuzzy discrete complex networks (TSFDCNs) with time-varying delays.
Xiru Wu +3 more
doaj +1 more source
A novel simulation method for power electronics: discrete state event driven method
CES Transactions on Electrical Machines and Systems, 2017 In the analysis of power electronics system, it is necessary to simulate ordinary differential equations (ODEs) with discontinuities and stiffness. However, there are many difficulties in using traditional discrete-time algorithms to solve such equations.
Boyang Li +4 more
doaj +1 more source
A web-based simulation of discrete-event system of system with the mobile application DEVSimPy-mob
SoftwareX, 2021 The paper proposes an original architecture to execute discrete-event simulations using mobile devices (in particular smartphones) and cloud. The originality of the proposed approach is highlighted by the way the connection between modeling and ...
Laurent Capocchi, Jean-Francois Santucci
doaj +1 more source
Towards a DEVS Model Management System for Decision-Making Web Applications
Information, 2023 The discrete event system specification formalism introduced by Zeigler in the 1970s is ideally associated with new technological advances in the web to offer an almost quasi-automatic mechanism for exporting its simulation models associated with ...
Laurent Capocchi +1 more
doaj +1 more source
Vehicular Network Simulation Environment via Discrete Event System Modeling
IEEE Access, 2019 A vehicular ad-hoc network (VANET) enables vehicles to communicate with each other directly or via roadside infrastructure in order to improve road safety and efficiency.
Le Wang +2 more
doaj +1 more source
Supervisory Controller Design for Power System Stability using Hybrid Automata Modeling [PDF]
International Journal of Industrial Electronics, Control and Optimization, 2021 Power systems are categorized as nonlinear dynamical systems, and the importance and complexity associated with their stability have dramatically increased.
Fariba Forouzesh +2 more
doaj +1 more source
Tail Asymptotics for Discrete Event Systems [PDF]
Discrete Event Dynamic Systems, 2006 In the context of communication networks, the framework of stochastic event graphs allows a modeling of control mechanisms induced by the communication protocol and an analysis of its performances. We concentrate on the logarithmic tail asymptotics of the stationary response time for a class of networks that admit a representation as (max,plus)-linear ...
openaire +3 more sources
On Opacity Verification for Discrete-Event Systems
IFAC-PapersOnLine, 2020 Opacity is an information flow property characterizing whether a system reveals its secret to an intruder. Verification of opacity for discrete-event systems modeled by automata is in general a hard problem. We discuss the question whether there are structural restrictions on the system models for which the opacity verification is tractable.
Jirí Balun, Tomás Masopust
openaire +3 more sources
Detectability in Stochastic Discrete Event Systems
IFAC Proceedings Volumes, 2014 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Keroglou, C. +3 more
openaire +4 more sources
A Specification Patterns System for Discrete Event Systems Analysis
International Journal of Advanced Robotic Systems, 2013 As formal verification tools gain popularity, the problem arises of making them more accessible to engineers. A correct understanding of the logics used to express the properties of a system's behaviour is needed in order to guarantee that properties ...
Jose Creissac Campos, Jose Machado
doaj +1 more source