Sciweavers

8492 search results - page 612 / 1699
» Modelling and Design of Multi-Agent Systems
Sort
View
CRV
2009
IEEE
158views Robotics» more  CRV 2009»
16 years 2 months ago
Automated Spatial-Semantic Modeling with Applications to Place Labeling and Informed Search
This paper presents a spatial-semantic modeling system featuring automated learning of object-place relations from an online annotated database, and the application of these relat...
Pooja Viswanathan, David Meger, Tristram Southey, ...
RSP
2003
IEEE
132views Control Systems» more  RSP 2003»
16 years 16 days ago
Rapid Exploration of Pipelined Processors through Automatic Generation of Synthesizable RTL Models
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
Prabhat Mishra, Arun Kejariwal, Nikil Dutt
ATAL
2003
Springer
16 years 15 days ago
A formal compositional model of multiagent interaction
Interaction protocols for multiagent systems have been described diagrammatically in an extension of UML called AUML (Agent UML). In this paper, we show how to translate these pro...
Sea Ling, Seng Wai Loke
CDC
2010
IEEE
182views Control Systems» more  CDC 2010»
15 years 2 months ago
Hierarchical model predictive control for resource distribution
This paper deals with hierarchical model predictive control (MPC) of distributed systems. A threelevel hierarchical approach is proposed, consisting of a high level MPC controller,...
Jan Dimon Bendtsen, Klaus Trangbaek, Jakob Stoustr...
181
Voted
LATA
2010
Springer
16 years 4 months ago
Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R)
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...
Neda Saeedloei and Gopal Gupta