Conferences related to Discrete-event systems

Back to Top

2020 59th IEEE Conference on Decision and Control (CDC)

The CDC is the premier conference dedicated to the advancement of the theory and practice of systems and control. The CDC annually brings together an international community of researchers and practitioners in the field of automatic control to discuss new research results, perspectives on future developments, and innovative applications relevant to decision making, automatic control, and related areas.


2020 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM)

All topics related to engineering and technology management, including applicable analytical methods and economical/social/human issues to be considered in making engineering decisions.


2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC)

The 2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2020) will be held in Metro Toronto Convention Centre (MTCC), Toronto, Ontario, Canada. SMC 2020 is the flagship conference of the IEEE Systems, Man, and Cybernetics Society. It provides an international forum for researchers and practitioners to report most recent innovations and developments, summarize state-of-the-art, and exchange ideas and advances in all aspects of systems science and engineering, human machine systems, and cybernetics. Advances in these fields have increasing importance in the creation of intelligent environments involving technologies interacting with humans to provide an enriching experience and thereby improve quality of life. Papers related to the conference theme are solicited, including theories, methodologies, and emerging applications. Contributions to theory and practice, including but not limited to the following technical areas, are invited.


2020 IEEE Power & Energy Society General Meeting (PESGM)

The Annual IEEE PES General Meeting will bring together over 2900 attendees for technical sessions, administrative sessions, super sessions, poster sessions, student programs, awards ceremonies, committee meetings, tutorials and more


ICASSP 2020 - 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)

The ICASSP meeting is the world's largest and most comprehensive technical conference focused on signal processing and its applications. The conference will feature world-class speakers, tutorials, exhibits, and over 50 lecture and poster sessions.


More Conferences

Periodicals related to Discrete-event systems

Back to Top

Antennas and Propagation, IEEE Transactions on

Experimental and theoretical advances in antennas including design and development, and in the propagation of electromagnetic waves including scattering, diffraction and interaction with continuous media; and applications pertinent to antennas and propagation, such as remote sensing, applied optics, and millimeter and submillimeter wave techniques.


Automatic Control, IEEE Transactions on

The theory, design and application of Control Systems. It shall encompass components, and the integration of these components, as are necessary for the construction of such systems. The word `systems' as used herein shall be interpreted to include physical, biological, organizational and other entities and combinations thereof, which can be represented through a mathematical symbolism. The Field of Interest: shall ...


Automation Science and Engineering, IEEE Transactions on

The IEEE Transactions on Automation Sciences and Engineering (T-ASE) publishes fundamental papers on Automation, emphasizing scientific results that advance efficiency, quality, productivity, and reliability. T-ASE encourages interdisciplinary approaches from computer science, control systems, electrical engineering, mathematics, mechanical engineering, operations research, and other fields. We welcome results relevant to industries such as agriculture, biotechnology, healthcare, home automation, maintenance, manufacturing, pharmaceuticals, retail, ...


Communications Magazine, IEEE

IEEE Communications Magazine was the number three most-cited journal in telecommunications and the number eighteen cited journal in electrical and electronics engineering in 2004, according to the annual Journal Citation Report (2004 edition) published by the Institute for Scientific Information. Read more at http://www.ieee.org/products/citations.html. This magazine covers all areas of communications such as lightwave telecommunications, high-speed data communications, personal communications ...


Computer Graphics and Applications, IEEE

IEEE Computer Graphics and Applications (CG&A) bridges the theory and practice of computer graphics. From specific algorithms to full system implementations, CG&A offers a strong combination of peer-reviewed feature articles and refereed departments, including news and product announcements. Special Applications sidebars relate research stories to commercial development. Cover stories focus on creative applications of the technology by an artist or ...


More Periodicals

Most published Xplore authors for Discrete-event systems

Back to Top

No authors for "Discrete-event systems"


Xplore Articles related to Discrete-event systems

Back to Top

The Integrated Discrete-Event Systems Tool

2006 8th International Workshop on Discrete Event Systems, 2006

A software tool for discrete-event systems problem-solving is described. The tool, called IDES, features a graphical user interface, allows input to be entered in a way that mimics pen-and-paper drawing, and allows output to LATEX and other formats. The current version of the tool does not yet include DES operations; rather it serves as a prototype for the software we ...


Partial order techniques for distributed discrete event systems: why you can't avoid using them

2006 8th International Workshop on Discrete Event Systems, 2006

This paper serves as a support for the plenary address given by the second author during the conference. We explain why using partial orders cannot be avoided for the algorithms to properly scale up, when handling large distributed discrete event systems - in this paper we focus on DES monitoring or supervision, not control. A report detailing this abstract is ...


The Environment Grail for Supervisory Control of Discrete Event Systems

2006 8th International Workshop on Discrete Event Systems, 2006

In the Department of Automation and Systems (DAS) of the Federal University of Santa Catarina (UFSC), Brazil, the tool Grail is being used for teaching and researching in the field of the supervisory control theory (SCT). Grail was reorganized into a tool named Grail for Supervisory Control in order to compile the developments related to the SCT. As the SCT ...


Comments on “Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems” versus “Decentralized Failure Diagnosis of Discrete Event Systems”: Complexity Clarification

IEEE Transactions on Automatic Control, 2014

An article on codiagnosability verification of discrete event systems was reported by Moreira et al, claiming an improvement in complexity over a paper by Qiu and Kumar. This note clarifies an oversight in the complexity analysis of Moreira et al's paper. Further the results of Moreira et al's paper were obtained in a more restricted setting of “projection masks”, in ...


A discrete-event systems approach to communication induced checkpointing

Sixth International Workshop on Discrete Event Systems, 2002. Proceedings., 2002

A particular communication protocol for distributed computations is examined in the context of supervisory control. A critical part of these protocols allows for the formation of special system states the system reliably returns to in the event of deadlock or failure. The proposed discrete-event system makes use of Z-path theory from distributed computing literature to provide decentralized controllers with information ...


More Xplore Articles

Educational Resources on Discrete-event systems

Back to Top

IEEE-USA E-Books

  • The Integrated Discrete-Event Systems Tool

    A software tool for discrete-event systems problem-solving is described. The tool, called IDES, features a graphical user interface, allows input to be entered in a way that mimics pen-and-paper drawing, and allows output to LATEX and other formats. The current version of the tool does not yet include DES operations; rather it serves as a prototype for the software we are building that will incorporate DES operations

  • Partial order techniques for distributed discrete event systems: why you can't avoid using them

    This paper serves as a support for the plenary address given by the second author during the conference. We explain why using partial orders cannot be avoided for the algorithms to properly scale up, when handling large distributed discrete event systems - in this paper we focus on DES monitoring or supervision, not control. A report detailing this abstract is available (E. Fabre and A. Benveniste, 2006). The techniques reported here were used in an industrial context for fault management and alarm correlation in telecommunications networks

  • The Environment Grail for Supervisory Control of Discrete Event Systems

    In the Department of Automation and Systems (DAS) of the Federal University of Santa Catarina (UFSC), Brazil, the tool Grail is being used for teaching and researching in the field of the supervisory control theory (SCT). Grail was reorganized into a tool named Grail for Supervisory Control in order to compile the developments related to the SCT. As the SCT has extensions to deal with different classes of problems, so the tool is expandable in toolboxes. Toolboxes dedicated to the supervisory control of condition/event systems, hierarchical supervisory control, and multitasking supervisory control are developed

  • Comments on “Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems” versus “Decentralized Failure Diagnosis of Discrete Event Systems”: Complexity Clarification

    An article on codiagnosability verification of discrete event systems was reported by Moreira et al, claiming an improvement in complexity over a paper by Qiu and Kumar. This note clarifies an oversight in the complexity analysis of Moreira et al's paper. Further the results of Moreira et al's paper were obtained in a more restricted setting of “projection masks”, in contrast to the more general “non-projection masks” allowed in Qiu and Kumar's paper, which was overlooked. Finally in the special case when the projection masks are used, the complexity of Qiu and Kumar's paper is lower compared to the non-projection masks case, and equals the corrected complexity of Moreira et al's paper.

  • A discrete-event systems approach to communication induced checkpointing

    A particular communication protocol for distributed computations is examined in the context of supervisory control. A critical part of these protocols allows for the formation of special system states the system reliably returns to in the event of deadlock or failure. The proposed discrete-event system makes use of Z-path theory from distributed computing literature to provide decentralized controllers with information to identify these special states.

  • Spectool 2.4 Beta: A research tool for modular modeling, analysis, and synthesis of discrete event systems.

    Condition systems are an excellent choice for the modeling and analysis of distributed systems. A condition system is a distributed Petri net where the distributed models communicate via state-based condition signals. In this paper the salient points of Spectool 2.4 Beta are presented. Spectool 2.4 Beta is a new release of our condition system modeling, analysis, and control synthesis tool. The paper begins with a brief review of our work using condition systems. We then present the features of this tool

  • Product Supervisor for Fuzzy Discrete Event Systems

    Fuzzy discrete event systems, as a generalization of crisp discrete event systems have been introduced recently in order to represent possibility arising from the states and dynamics of a system effectively. Supervisory control theory with fuzzy event systems has already established. As a continuation, the supervisory control related to the product structure of fuzzy discrete event systems is investigated. Two cases of the supervisor existence condition are presented in this paper, which illustrates the relationship between the component systems and the overall system.

  • Supremica - An integrated environment for verification, synthesis and simulation of discrete event systems

    An integrated environment, Supremica, for verification, synthesis and simulation of discrete event systems is presented. The basic model in Supremica is finite automata where the transitions have an associated event together with a guard condition and an action function that updates automata variables. Supremica uses two main approaches to handle large state-spaces. The first approach exploits modularity in order to divide the original problem into many smaller problems that together solve the original problem. The second approach uses an efficient data structure, a binary decision diagram, to symbolically represent the reachable states. Models in Supremica may be simulated in the environment. It is also possible to generate code that implements the behavior of the model using both the IEC 61131 and the IEC 61499 standard

  • State Feedback Control of Vector Discrete Event Systems with Forced Events

    The vector discrete event system is a discrete event system model in which the system state is represented by a vector with integer components, and state transition by integer vector addition. We introduce in this paper the state feedback control of vector discrete event systems with forced events. A control specification is given in terms of predications on the set of states. A necessary and sufficient condition for the existence of controller is presented to achieve a prescribed behavior. A controller is constructed to prove our conclusion.

  • Diagnosis of a Class of Timed Discrete Event Systems

    A timed extension of the discrete-event systems failure diagnosis approach of Sampath et al. (1995) is proposed. The diagnoser is a timed automaton, constructed off-line, from a timed automaton system model. The construction procedure is illustrated through a practical example. A notion of Delta- diagnosability for timed languages, is defined. Necessary and sufficient conditions linking Delta-diagnosability, to the structure of a constructed diagnoser are given



Standards related to Discrete-event systems

Back to Top

No standards are currently tagged "Discrete-event systems"


Jobs related to Discrete-event systems

Back to Top