Now showing items 11-12 of 12
On nonconflicting languages that arise in supervisory control of discrete event systems
(Elsevier, 1991-08)
We study four classes of nonconflicting sublanguages of a given language that arise in supervisory control of discrete event systems. We first present closed-form expressions for the supremal nonconflicting sublanguage and ...
A synthetic workload for a distributed real-time system
(Kluwer Academic Publishers; Springer Science+Business Media, 1996-07)
In this paper, we describe the design and implementation of a synthetic workload (SW) for a distributed real-time system. A SW is a set of parameterized synthetic or artificial programs which serve as the workload for a ...