Abstract of Paper

Timed Automata with Monotonic Activities
by Ruggero Lanotte, Andrea Maggiolo Schettini

Abstract:

The paper introduces TAMA (Timed Automata with Monotonic Activities) a
subclass of hybrid automata including as proper subclass TA (Timed
Automata), Multirate Automata and Integrator Automata. A subclass of TAMA,
called TAMA${}_o$, is studied and shown to be equivalent to Timed Automata
under the assumption of discrete time, while in dense time TAMA${}_o$
contains properly the subclasses of hybrid systems mentioned. We also show
that TAMA${}_o$ allow more succinct descriptions than TA.