5200 search results - page 148 / 1040 » Symbolic models for control systems |
ICLP
2005
Springer
14 years 2 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
ICCD
2005
IEEE
14 years 5 months ago
2005
IEEE
Recent advances in Dynamic Power Management (DPM) techniques have resulted in designs that support a rich set of power management options, both at the hardware and software levels...
CEC
2009
IEEE
14 years 12 days ago
2009
IEEE
In evolutionary robotics, controllers are often designed in simulation, then transferred onto the real system. Nevertheless, when no accurate model is available, controller transfe...
DATE
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
BIOWIRE
2007
Springer
14 years 3 months ago
2007
Springer
Epidemics-inspired techniques have received huge attention in recent years from the distributed systems and networking communities. These algorithms and protocols rely on probabili...