Add to ORKGAbstract. This paper proposes a class of discrete event system specification (DEVS), called schedule-preserving DEVS (SP-DEVS), in which the external transition can-not change its next event schedule. This restriction to DEVS is designed for making treatment of timed behavior decidable when dealing with SP-DEVS networks. As a result, it is possible for us to compute processing time bounds of event sequences in the behavior SP-DEVS networks
International audienceThis paper presents an approach of a safe control synthesis of Timed Discrete ...
In supervisory control of discrete-event systems, prescribing formal specifications is a non-trivial...
AbstractWe extend the specification language of temporal logic, the corresponding verification frame...
Abstract Distributed applications are based on algorithms which should be able to deal with time con...
The necessity of formal verification for discrete event system specification (DEVS) has recently ari...
A novel framework is introduced for the supervisory control (SC) of timed discrete event systems, ba...
The DEVS formalism was conceived by Zeigler [Zei84a, Zei84b] to provide a rigourous common basis for...
A novel framework is introduced for the supervisory control (SC) of timed discrete event systems bas...
Abstract: Event-B is a formal language for systems modeling, based on set theory and predicate logic...
Introduction By discrete processes we mean processes that have a discrete (usually finite) input, s...
International audienceThis paper addresses the problems related to data types used for time represen...
A process whose correctness depends on its adherence to explicit timing constraints is a time depend...
Cyber-physical systems are systems where there is a tight interaction between the computing world an...
In this work in progress paper, we formulate performance robust event-based control strategies with ...
Event-B is a refinement-based formal method that is used for system-level modeling and analysis of c...
International audienceThis paper presents an approach of a safe control synthesis of Timed Discrete ...
In supervisory control of discrete-event systems, prescribing formal specifications is a non-trivial...
AbstractWe extend the specification language of temporal logic, the corresponding verification frame...
Abstract Distributed applications are based on algorithms which should be able to deal with time con...
The necessity of formal verification for discrete event system specification (DEVS) has recently ari...
A novel framework is introduced for the supervisory control (SC) of timed discrete event systems, ba...
The DEVS formalism was conceived by Zeigler [Zei84a, Zei84b] to provide a rigourous common basis for...
A novel framework is introduced for the supervisory control (SC) of timed discrete event systems bas...
Abstract: Event-B is a formal language for systems modeling, based on set theory and predicate logic...
Introduction By discrete processes we mean processes that have a discrete (usually finite) input, s...
International audienceThis paper addresses the problems related to data types used for time represen...
A process whose correctness depends on its adherence to explicit timing constraints is a time depend...
Cyber-physical systems are systems where there is a tight interaction between the computing world an...
In this work in progress paper, we formulate performance robust event-based control strategies with ...
Event-B is a refinement-based formal method that is used for system-level modeling and analysis of c...
International audienceThis paper presents an approach of a safe control synthesis of Timed Discrete ...
In supervisory control of discrete-event systems, prescribing formal specifications is a non-trivial...
AbstractWe extend the specification language of temporal logic, the corresponding verification frame...