This paper presents an approach of a safe control synthesis of Timed Discrete Event Systems, based on timed properties. This synthesis aims to realize a ...

Apr 29, 2019 · Abstract— This paper presents an approach of a safe control synthesis of Timed Discrete Event Systems, based on timed properties.

This paper presents an approach of a safe control synthesis of Timed Discrete Event Systems, based on timed properties. This synthesis aims to realize a ...

Oct 19, 2019 · A new approach to the study of discrete event systems (DES), characterized by automata, Petri-Nets or related presentations, is proposed. The ...

In this paper, we introduce a control synthesis method for discrete event systems whose behavior is dependent on explicit values of time.

In this paper, an overview of the approaches for FTC of discrete event systems is presented. The focus is on automata and Petri nets, as they are widely used ...

This paper presents a control synthesis software tool for manufacturing systems with a driven dynamic event. This tool is based on an original control ...

This report surveys recent advances in computer aided synthesis of controllers for discrete event systems. The report aims at providing an overview of the ...

We introduce a framework for fault-tolerant supervisory control of discrete-event systems. Given a plant, possessing both faulty and nonfaulty behavior, ...

4 days ago · This research covers a wide range of optimization techniques, different aspects such as fault tolerance, security, and timing, and diverse ...