Sciweavers

CONCUR
2001
Springer

The Control of Synchronous Systems, Part II

13 years 8 months ago
The Control of Synchronous Systems, Part II
Abstract. A controller is an environment for a system that achieves a particular control objective by providing inputs to the system without constraining the choices of the system. For synchronous systems, where system and controller make simultaneous and interdependent choices, the notion that a controller must not constrain the choices of the system can be formalized by type systems for composability. In a previous paper, we solved the control problem for static and dynamic types: a static type is a dependency relation betweeninputs and outputs,and compositionis well-typed if it does not introduce cyclic dependencies a dynamic type is a set of static types, one for each state. Static and dynamic types, however, cannot capture many important digital circuits, such as gated clocks, bidirectional buses, and random-access memory. We therefore introduce more general type systems, so-called dependent and bidirectional types, for modeling these situations, and we solve the corresponding con...
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C.
Added 28 Jul 2010
Updated 28 Jul 2010
Type Conference
Year 2001
Where CONCUR
Authors Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang
Comments (0)