Add to ORKGInterval weighted automata are introduced as automata with weights in a product dioid (idempotent semiring). They constitute an extension of (max,+) automata since they enable us to model temporal constraints (instead of exact durations) for transitions. Their synchronous composition, which coincides with the synchronous product of underlying (one clock) timed automata, results in multi-event interval weighted automata, whose behaviors are studied. Our approach is illustrated by an example
In 1994, Alur and Dill introduced timed automata as a simple mathematical model for modelling the be...
The work presented in this thesis deals with the modeling of discrete event systems using (max,+) au...
The problem of synchronizing automata is concerned with the existence of a word that sends all state...
Automata with weights (multiplicities) in the so called (max,+) semiring constitutea class of timed ...
This paper presents a compositional modeling approach by means of (max, +) automata. The motivation ...
A new framework for control of (max,+) automata is introduced. The tensor product of their linear re...
A large class of timed discrete event systems can be modeled by means of (max,+) automata, that is a...
We identify a subclass of timed automata called product interval automata and develop its theory. Th...
A large class of timed discrete event systems can be modeled thanks to (max,+)-automata, that is aut...
In this work, we study the class of real-time discrete-event systems modeled by finite interval auto...
AbstractDuring the last years, weighted timed automata have received much interest in the real-time ...
In 1994, Alur and Dill introduced timed automata as a simple mathematical model for modelling the be...
In 1994, Alur and Dill introduced timed automata as a simple mathematical model for modelling the be...
Recently, multi-priced timed automata have received much attention for real-time systems. These auto...
Recently, multi-priced timed automata have received much attention for real-time systems. These auto...
In 1994, Alur and Dill introduced timed automata as a simple mathematical model for modelling the be...
The work presented in this thesis deals with the modeling of discrete event systems using (max,+) au...
The problem of synchronizing automata is concerned with the existence of a word that sends all state...
Automata with weights (multiplicities) in the so called (max,+) semiring constitutea class of timed ...
This paper presents a compositional modeling approach by means of (max, +) automata. The motivation ...
A new framework for control of (max,+) automata is introduced. The tensor product of their linear re...
A large class of timed discrete event systems can be modeled by means of (max,+) automata, that is a...
We identify a subclass of timed automata called product interval automata and develop its theory. Th...
A large class of timed discrete event systems can be modeled thanks to (max,+)-automata, that is aut...
In this work, we study the class of real-time discrete-event systems modeled by finite interval auto...
AbstractDuring the last years, weighted timed automata have received much interest in the real-time ...
In 1994, Alur and Dill introduced timed automata as a simple mathematical model for modelling the be...
In 1994, Alur and Dill introduced timed automata as a simple mathematical model for modelling the be...
Recently, multi-priced timed automata have received much attention for real-time systems. These auto...
Recently, multi-priced timed automata have received much attention for real-time systems. These auto...
In 1994, Alur and Dill introduced timed automata as a simple mathematical model for modelling the be...
The work presented in this thesis deals with the modeling of discrete event systems using (max,+) au...
The problem of synchronizing automata is concerned with the existence of a word that sends all state...