Sciweavers

188 search results - page 1 / 38
» Abstract Machines, Control, and Sequents
Sort
View
FMCO
2003
Springer
123views Formal Methods» more  FMCO 2003»
13 years 9 months ago
Machine Function Based Control Code Algebras
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
Jan A. Bergstra
CORR
2007
Springer
99views Education» more  CORR 2007»
13 years 4 months ago
Machine structure oriented control code logic
Abstract. Control code is a concept that is closely related to a frequently occurring practitioner’s view on what is a program: code that is capable of controlling the behaviour ...
Jan A. Bergstra, C. A. Middelburg
IJCSS
2000
117views more  IJCSS 2000»
13 years 4 months ago
Direct adaptive neural control for turning complex rotating profiles
Abstract. During the machining process of a complex rotating pro
Tingzhang Lui, Xinzhong Li
ICCD
1993
IEEE
124views Hardware» more  ICCD 1993»
13 years 8 months ago
Synthesis of Controllers from Interval Temporal Logic Specification
for a state machine which is an abstraction for an existing sequential circuit, which can be useful for redesign or engineering change. The generated state machines can be further ...
Masahiro Fujita, Shinji Kono