Loading...
conference paper
An algebraic framework for urgency
2000
Information and Computation
A sub-class of timed automata known as timed automata with deadlines was presented. Parallel composition and other operators were defined according to 'orthogonality' principal, for timed process algebras and hybrid automata. The compositional description methods that are based on 'flexible' composition rules that relax urgency constraints to preserve time reactivity was also studied.
Loading...
Name
information&computation.pdf
Access type
openaccess
Size
426.44 KB
Format
Adobe PDF
Checksum (MD5)
aa6cd6f63b084b3917967ccd46bd3941