Sciweavers

8658 search results - page 146 / 1732
» Models of Command and Control
Sort
View
CDC
2010
IEEE
182views Control Systems» more  CDC 2010»
13 years 4 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...
MOBIQUITOUS
2005
IEEE
14 years 2 months ago
A SIP-based Architecture model for Contextual Coalition Access Control for Ubiquitous Computing
A significant deterrent to the ability to connect in a spontaneous manner in cross-enterprise collaborative applications is the difficulty in users from different domains being ab...
Ramiro Liscano, Kaining Wang
MSR
2005
ACM
14 years 2 months ago
SCQL: a formal model and a query language for source control repositories
Source Control Repositories are used in most software projects to store revisions to source code files. These repositories operate at the file level and support multiple users. ...
Abram Hindle, Daniel M. Germán
JCP
2007
100views more  JCP 2007»
13 years 9 months ago
Modelling Internet End-to-End Loss Behaviors: A Congestion Control Perspective
— This paper proposes a new approach to modelling and controlling Internet end-to-end loss behaviours. Rather than select the model structure from the loss observations as being ...
Vinh Bui, Weiping Zhu, Ruhul A. Sarker
HYBRID
2003
Springer
14 years 2 months ago
Model Checking LTL over Controllable Linear Systems Is Decidable
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
Paulo Tabuada, George J. Pappas