Results 21 to 30 of about 991,733 (290)
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
Discrete Event System Specification for IoT Applications
SensorsThe Internet of Things (IoT) has emerged as a transformative technology with a variety of applications across various industries. However, the development of IoT systems is hindered by challenges such as interoperability, system complexity, and the need ...
Iman Alavi Fazel, Gabriel Wainer
doaj +1 more source
Accelerated Simulation of Discrete Event Dynamic Systems via a Multi-Fidelity Modeling Framework
Applied Sciences, 2017 Simulation analysis has been performed for simulation experiments of all possible input combinations as a “what-if” analysis, which causes the simulation to be extremely time-consuming.
Seon Han Choi +2 more
doaj +1 more source
Discrete-event simulation and system dynamics for management decision making
, 2014 The genesis of operational research (OR) in the Second World War was largely characterised by deterministic techniques with a nod to risk evaluations such as in establishing the optimum balance of merchant ships and naval protection vessels in Atlantic ...
S. Brailsford +2 more
semanticscholar +1 more source
Discrete-Time Event-Triggered Control of Nonlinear Wireless Networked Control Systems
Abstract and Applied Analysis, 2014 This paper investigates the problem of stabilization of nonlinear discrete-time networked control systems (NCSs) with event-triggering communication scheme in the presence of signal transmission delay.
Songlin Hu +3 more
doaj +1 more source
Calculating Restart States for Systems Modeled by Operations Using Supervisory Control Theory
Machines, 2013 This paper presents a supervisory control theory based offline method for calculating restart states in a manufacturing control system. Given these precalculated restart states, an operator can be given correct instructions for how to resynchronize the ...
Patrik Bergagård, Martin Fabian
doaj +1 more source
Supervisory control of a class of discrete event processes
, 1987 The paper studies the control of a class of discrete event processes, i.e., processes that are discrete, asynchronous and possibly nondeterministic.
P. Ramadge, W. Wonham
semanticscholar +1 more source
Detectability in Stochastic Discrete Event Systems
IFAC Proceedings Volumes, 2014 Abstract In this paper we define and analyze notions of detectability in stochastic discrete event systems (SDES). More specifically, we introduce the notions of A-detectability and AA-detectability which focus on characterizing our ability to estimate the true current state of a given SDES with increasing certainty as we observe more output symbols.
Keroglou, C. +3 more
openaire +5 more sources
Coupling Continuous and Discrete Event System Techniques for Hybrid System Diagnosability Analysis
European Conference on Artificial Intelligence, 2008 In this paper we propose a hybrid system modeling framework aimed at analyzing diagnosability. In this framework, the hybrid system is seen as the composition of an underlying discrete event and an underlying continuous systems.
Mehdi Bayoudh +2 more
semanticscholar +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