5200 search results - page 229 / 1040 » Symbolic models for control systems |
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— This paper presents a new model for so-called water hammer equations based on a collocation method. This model is shown to fairly represent possible leak effects in a pipeline ...
ECAL
2005
Springer
14 years 2 months ago
2005
Springer
This paper explores the performance of a simple model agent using a reactive controller in situations where, from an external perspective, a solution that relies on internal states...
ICRA
2003
IEEE
14 years 2 months ago
2003
IEEE
We propose a systematic modelling of the nonholonomic mobile manipulators built from a robotic arm mounted on a wheeled mobile platform. It extends the fundamental notions of nonh...
IJCSA
2006
13 years 9 months ago
2006
This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The q...
WSC
2000
13 years 10 months ago
2000
An advanced processing machine interacts with the material handling system, personnel and cell or shop floor controller in real-time via messaging and control. However, current si...