1105 search results - page 142 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
133
Voted
FM
1999
Springer
15 years 7 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...
140
Voted
DEDS
1998
15 years 3 months ago
1998
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...
142
Voted
BIOCOMP
2009
15 years 1 months ago
2009
Abstract-- Spatial partial differential equations are commonly used to describe systems of biological entities, such as patterns created by desert vegetation and biovermiculation g...
123
Voted
SMC
2007
IEEE
15 years 9 months ago
2007
IEEE
— The computational understanding of continuous human movement plays a significant role in diverse emergent applications in areas ranging from human computer interaction to phys...
165
Voted
CATA
2006
15 years 5 months ago
2006
This paper introduces a real time human hand simulation system. A lifelike hand model is constructed and some of the human hand constraints are applied to it. Natural hand gesture...