Results 31 to 40 of about 815,297 (348)
Generalised verification of the observer property in discrete event systems [PDF]
, 2012 The observer property is an important condition to be satisfied by abstractions of Discrete Event Systems (DES) models. This paper presents a generalised version of a previous algorithm which tests if an abstraction of a DES obtained through natural ...
Bravo, H. J. +4 more
core +2 more sources
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
Diagnosis of Deep Discrete-Event Systems
Journal of Artificial Intelligence Research, 2020 An abduction-based diagnosis technique for a class of discrete-event systems (DESs), called deep DESs (DDESs), is presented. A DDES has a tree structure, where each node is a network of communicating automata, called an active unit (AU). The interaction of components within an AU gives rise to emergent events.
Lamperti, Gian Franco +2 more
openaire +3 more sources
Supervisory Control of Fuzzy Discrete Event Systems
, 2004 In order to cope with situations in which a plant's dynamics are not precisely known, we consider the problem of supervisory control for a class of discrete event systems modelled by fuzzy automata.
Cao, Yongzhi, Ying, Mingsheng
core +2 more sources
A modular hybrid simulation framework for complex manufacturing system design [PDF]
, 2019 For complex manufacturing systems, the current hybrid Agent-Based Modelling and Discrete Event Simulation (ABM–DES) frameworks are limited to component and system levels of representation and present a degree of static complexity to study optimal ...
Erkoyuncu, J. A. +3 more
core +2 more sources
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
A Note on Fault Diagnosis Algorithms [PDF]
, 2009 In this paper we review algorithms for checking diagnosability of discrete-event systems and timed automata. We point out that the diagnosability problems in both cases reduce to the emptiness problem for (timed) B\"uchi automata.
Cassez, Franck
core +4 more sources
Weak Diagnosability of Discrete Event Systems
IFAC-PapersOnLine, 2020 Abstract In this paper, we propose a weaker property for failure diagnosis called weak diagnosability. Weak diagnosability says that, after the occurrence of a fault event, for any continuation, there always exists at least one trajectory of sufficient length along which we can diagnose the occurrence of the fault event.
Lin Cao +4 more
openaire +1 more source
A Supervisory Control Algorithm Based on Property-Directed Reachability
, 2017 We present an algorithm for synthesising a controller (supervisor) for a discrete event system (DES) based on the property-directed reachability (PDR) model checking algorithm.
A Cimatti +4 more
core +2 more sources
Track Extrapolation and Distribution for the CDF-II Trigger System [PDF]
, 2006 The CDF-II experiment is a multipurpose detector designed to study a wide range of processes observed in the high energy proton-antiproton collisions produced by the Fermilab Tevatron.
Abachi +25 more
core +3 more sources