1341 search results - page 237 / 269 » Unified Modeling of Complex Real-Time Control Systems |
OOPSLA
2007
Springer
14 years 2 months ago
2007
Springer
Custom House's new currency exchange system is integrated with a legacy system. After a few years of growth, the two systems were so intricately tangled that even small chang...
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
— Unlike active force closure, which is a property for the multi-finger robotic hand grasping, passive force closure are involved in the grasping systems with constraining devic...
ISSAC
2001
Springer
14 years 11 days ago
2001
Springer
The following questions are often encountered in system and control theory. Given an algebraic model of a physical process, which variables can be, in theory, deduced from the inp...
WSC
1997
13 years 9 months ago
1997
This paper discusses the design, development, and use of a performance monitoring tool for Distributed Interactive Simulations (DIS). A typical DIS environment consists of hundred...
TCS
2008
13 years 7 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...