695 search results - page 110 / 139 » Symbolic Simulation of Hybrid Systems |
ICIAR
2009
Springer
14 years 23 days ago
2009
Springer
Abstract. With the adoption of tablet-based data entry devices, there is considerable interest in methods for converting hand-drawn sketches of flow charts, graphs and block diagr...
MEMBRANE
2009
Springer
14 years 2 months ago
2009
Springer
em is a computing model, which abstracts from the way the living cells process chemical compounds in their compartmental structure. The regions defined by a membrane structure con...
ICRA
2008
IEEE
14 years 2 months ago
2008
IEEE
— This paper investigates the scenario of a robot making a tradeoff between tracking a time-varying reference trajectory and stopping to communicate at points where the radio sig...
VTC
2008
IEEE
14 years 2 months ago
2008
IEEE
— To support dynamic traffic-asymmetry property in future wireless communication systems, we propose a hybridTDD scheme, combination of static-TDD and dynamic-TDD. By using adap...
CP
2000
Springer
14 years 15 days ago
2000
Springer
The Constraint-Based Agent (CBA) framework is a set of tools for designing, simulating, building, verifying, optimizing, learning and debugging controllers for agents embedded in a...