Sciweavers

7778 search results - page 191 / 1556
» Designing Controllers for Reachability
Sort
View
ICECCS
2007
IEEE
92views Hardware» more  ICECCS 2007»
15 years 7 months ago
A first approach to the closed-form specification and analysis of an autonomic control system
Control systems must increasingly be designed to involve collections of hardware and software components, both of which may evolve over the lifetime of the system, and which are e...
Simon Dobson, Eoin Bailey, Stephen Knox, Ross Shan...
AUTOMATICA
2004
138views more  AUTOMATICA 2004»
15 years 3 months ago
Decentralized overlapping control of a formation of unmanned aerial vehicles
Decentralized overlapping feedback laws are designed for a formation of unmanned aerial vehicles. The dynamic model of the formation with an information structure constraint in wh...
Dusan M. Stipanovic, Gökhan Inalhan, Rodney T...
IJSNET
2010
143views more  IJSNET 2010»
15 years 2 months ago
Multi-radio medium access control protocol for wireless sensor networks
— In this paper, we propose a new dual radio medium access control (MAC) protocol for wireless sensor networks. Our MAC protocol design combines the advantages of low and high fr...
Junaid Ansari, Xi Zhang, Petri Mähönen
ICSE
2000
IEEE-ACM
15 years 7 months ago
A formal approach for designing CORBA based applications
The design of distributed applications in a CORBA based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the hi...
Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alb...
CHI
2010
ACM
15 years 10 months ago
MAGIC: a motion gesture design tool
Devices capable of gestural interaction through motion sensing are increasingly becoming available to consumers; however, motion gesture control has yet to appear outside of game ...
Daniel Ashbrook, Thad Starner