Programmable logic controllers (PLCs) are indispensable in critical infrastructures and
industrial control systems. The increasing demand for enhanced cost-effectiveness and …

Priced timed (game) automata extend timed (game) automata with costs on both locations
and transitions. In this paper we focus on reachability priced timed game automata and …

This paper is concerned with the derivation of infinite schedules for timed automata that are
in some sense optimal. To cover a wide class of optimality criteria we start out by introducing …

Automated production systems are usually driven by Programmable Logic Controllers
(PLCs). These systems are long-living–yet have to adapt to changing requirements over …

This paper is concerned with the derivation of infinite schedules for timed automata that are
in some sense optimal. To cover a wide class of optimality criteria we start out by introducing …

It is easy to write and verify real-time specifications with existing languages and methods;
one just represents time as an ordinary variable. The resulting specifications can be verified …

This paper introduces Sensor Graphs, a discrete event modeling language directed at
physical systems with binary and identity sensors (eg, RFID). The aim of Sensor Graphs is to …

We introduce a new discounting semantics for priced timed automata. Discounting provides
a way to model optimal-cost problems for infinite traces and has applications in optimal …

Many applications require infinite plans---ie an infinite sequence of actions---in order to carry
out some given process indefinitely. In addition, it is desirable to guarantee optimality. In this …

Priced timed (game) automata extend timed (game) automata with costs on both locations
and transitions. The problem of synthesizing an optimal winning strategy for a priced timed …