Sciweavers

156 search results - page 25 / 32
» Hybrid Supervisory Utilization Control of Real-Time Systems
Sort
View
ISCAS
2006
IEEE
79views Hardware» more  ISCAS 2006»
15 years 3 months ago
Chip-scale magnetic sensing and control of nanoparticles and nanorods
— We report on a system designed for the magnetic control of nanoparticles and nanorods. This is accomplished by arrays of current-carrying wires (electromagnets) and the associa...
Edward Choi, Zhiyong Gu, D. Gracias, Andreas G. An...
IFIPTCS
2000
15 years 1 months ago
Masaccio: A Formal Model for Embedded Components
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
Thomas A. Henzinger
CDC
2008
IEEE
186views Control Systems» more  CDC 2008»
14 years 11 months ago
A mathematical model of the Skype VoIP congestion control algorithm
The Internet is changing from being only an efficient platform for data delivery to become also a platform for audio/video applications. The stability of the traditional Internet i...
Luca De Cicco, Saverio Mascolo, Vittorio Palmisano
SCP
1998
163views more  SCP 1998»
14 years 9 months ago
Computing with Continuous Change
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
MMAS
2004
Springer
15 years 3 months ago
Virtual Space Ontologies for Scripting Agents
Interactive multi-agent system improves reusability of agents by separating application design from agent design. However, it remains difficult for application designers (usually n...
Zhiqiang Gao, Liqun Ren, Yuzhong Qu, Toru Ishida