Sciweavers

26 search results - page 5 / 6
» Supervisory Control of Real-Time Systems Using Prioritized S...
Sort
View
CUZA
2002
132views more  CUZA 2002»
13 years 5 months ago
A Process Algebra for Predictible Control Systems
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
Nicolae Marian
FORTE
2009
13 years 3 months ago
Using First-Order Logic to Reason about Submodule Construction
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
Gregor von Bochmann
NOSSDAV
1992
Springer
13 years 9 months ago
Tactus: Toolkit-Level Support for Synchronized Interactive Multimedia
Tactus addresses problems of synchronizing and controlling various interactive continuous-time media. The Tactus system consists of two main parts. The first is a server that synch...
Roger B. Dannenberg, Thomas P. Neuendorffer, Josep...
TROB
2008
95views more  TROB 2008»
13 years 5 months ago
Multisensor Input for CPG-Based Sensory---Motor Coordination
This paper describes a method for providing in real time a reliable synchronization signal for cyclical motions such as steady-state walking. The approach consists in estimating on...
Rodolphe Héliot, Bernard Espiau
JMM2
2006
138views more  JMM2 2006»
13 years 5 months ago
A Framework for Constructing Real-time Immersive Environments for Training Physical Activities
Abstract-- This paper describes a framework for constructing a three-dimensional immersive environment that can be used for training physical activities. The system is designed to ...
Sang-Hack Jung, Ruzena Bajcsy