Suboptimal time management of discrete event systems with uncontrollable events modeled by Petri nets
Sign Up to like & getrecommendations! Published in 2019 at "Asian Journal of Control"
DOI: 10.1002/asjc.2037
Abstract: Preventing systems from entering to forbidden states is a crucial issue in discrete event systems control. Adding supervisors to the system is a common method to avoid entering to forbidden states. In discrete event systems… read more here.
Keywords: time; discrete event; event systems; forbidden states ... See more keywords
Diagnosability Analysis of Intermittent Faults in Discrete Event Systems Using a Twin-plant Structure
Sign Up to like & getrecommendations! Published in 2019 at "International Journal of Control, Automation and Systems"
DOI: 10.1007/s12555-018-0682-9
Abstract: Most research in fault diagnosis of discrete event systems has been focused on permanent failures. However, experience with monitoring of dynamic systems shows that intermittent faults are predominant, and that their diagnosis constitutes one of… read more here.
Keywords: discrete event; intermittent faults; twin plant; diagnosability ... See more keywords
Reduction of Diagnosers for Discrete-Event Systems
Sign Up to like & getrecommendations! Published in 2021 at "Journal of Control, Automation and Electrical Systems"
DOI: 10.1007/s40313-021-00795-w
Abstract: The main drawback of implementing the traditional diagnoser for Discrete-Event Systems proposed in the literature is that its state set can be very large, requiring the use of a large amount of memory to store… read more here.
Keywords: systems reduction; event systems; diagnoser; discrete event ... See more keywords
Application of online supervisory control of discrete-event systems to multi-robot warehouse automation
Sign Up to like & getrecommendations! Published in 2018 at "Control Engineering Practice"
DOI: 10.1016/j.conengprac.2018.09.003
Abstract: Abstract In this paper we present an online supervisory control approach, based on limited lookahead policy, that is amenable for the control of multi-agent discrete-event systems. We then apply this online control scheme to model… read more here.
Keywords: discrete event; control; online supervisory; warehouse automation ... See more keywords
A Generalized Inference-Based Prognosis Framework for Discrete Event Systems
Sign Up to like & getrecommendations! Published in 2017 at "IFAC-PapersOnLine"
DOI: 10.1016/j.ifacol.2017.08.1201
Abstract: Abstract We previously introduced an inference-based framework for decentralized prognosis of discrete event systems, and formulated the notion of N-inference V-prognosability to characterize the existence of a disjunctive decentralized prognosis scheme such that any fault… read more here.
Keywords: discrete event; framework; prognosis; inference based ... See more keywords
Efficient Implementation of Distinguished Controllers for Discrete-Event Systems
Sign Up to like & getrecommendations! Published in 2017 at "IFAC-PapersOnLine"
DOI: 10.1016/j.ifacol.2017.08.272
Abstract: Abstract In Supervisory Control Theory (SCT) of Discrete Event Systems, event refinements have been exploited to simplify modeling tasks. Approximations complement this approach with an alternative to also reduce synthesis effort. In spite of advantageous… read more here.
Keywords: discrete event; implementation distinguished; implementation; efficient implementation ... See more keywords
UltraDES - A Library for Modeling, Analysis and Control of Discrete Event Systems
Sign Up to like & getrecommendations! Published in 2017 at "IFAC-PapersOnLine"
DOI: 10.1016/j.ifacol.2017.08.540
Abstract: Abstract In this paper a library of functions and data structures for analysis and control of Discrete Event Systems based in the. NET Framework is proposed. The main objective is to create an environment for… read more here.
Keywords: discrete event; analysis control; event systems; control discrete ... See more keywords
Partially observed discrete-event systems: from state estimation to intrusion detection
Sign Up to like & getrecommendations! Published in 2018 at "IFAC-PapersOnLine"
DOI: 10.1016/j.ifacol.2018.09.003
Abstract: Abstract This paper summarizes the content of my plenary talk in the 14th Workshop on Discrete Event Systems (Wodes18) whose goal is that of describing the general setting of partially observable discrete event systems. Special… read more here.
Keywords: discrete event; intrusion detection; event systems; state estimation ... See more keywords
Composite supervisory control for symmetric discrete-event systems
Sign Up to like & getrecommendations! Published in 2020 at "International Journal of Control"
DOI: 10.1080/00207179.2018.1523566
Abstract: ABSTRACT In symmetric discrete-event systems, the system complexity is reduced by relabelling to the same symbol events fulfilling the same task. In this paper, we divide specifications into two classes: public specifications and private specifications.… read more here.
Keywords: discrete event; control; symmetric discrete; event systems ... See more keywords
State-Based Control of Discrete-Event Systems Under Partial Observation
Sign Up to like & getrecommendations! Published in 2018 at "IEEE Access"
DOI: 10.1109/access.2018.2859798
Abstract: This paper describes a state-based approach for supervisor synthesis of discrete-event systems under partial observation, based on predicates and predicate transformers. We focus on the normality property and provide an iterative algorithm for state-based normality… read more here.
Keywords: state; discrete event; state based; systems partial ... See more keywords
On Reconfiguration Theory of Discrete-Event Systems: From Initial Specification Until Final Deployment
Sign Up to like & getrecommendations! Published in 2019 at "IEEE Access"
DOI: 10.1109/access.2019.2891766
Abstract: This paper presents an overview on different research activities that we did in the recent decade for developing reconfigurable discrete-event systems (RDESs) from initial high-level specification according to user requirements until final low-level deployment in… read more here.
Keywords: methodology; discrete event; hardware; event systems ... See more keywords