1611 search results - page 21 / 323 » Experimental Integration of Planning in a Distributed Contro... |
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
The motivation of our work is to make a design tool for distributed embedded systems compliant with HIS and AUTOSAR. The tool is based on Processor Expert, a component oriented de...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
We present here Extended Markov Tracking (EMT), a computationally tractable method for the online estimation of Markovian system dynamics, along with experimental support for its ...
ECRTS
2007
IEEE
14 years 1 months ago
2007
IEEE
Feedback control techniques have recently been applied to a variety of real-time systems. However, a fundamental issue that was left out is guaranteeing system controllability and...
3DIM
1999
IEEE
13 years 12 months ago
1999
IEEE
An architecture and prototype implementation of an automation system for industrial 3-D digitization is described. Facilities for automated view planning, collision avoidance and ...
JAR
1998
13 years 7 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...