5200 search results - page 52 / 1040 » Symbolic models for control systems |
HYBRID
1998
Springer
14 years 29 days ago
1998
Springer
Hybridconnectionist symbolic systems have been the subject of muchrecent research in AI. By focusing on the implementation of highlevel human cognitive processes e.g., rule-based i...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
— In this paper, we study the problem of going from a real-world, multi-agent system to the generation of control programs in an automatic fashion. In particular, a computer visi...
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
In this paper a method for designing a stabilizing high level model predictive controller for a hierarchical plugand-play process is presented. achieved by abstracting the lower la...
FORTE
2009
13 years 6 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
MEMBRANE
2009
Springer
14 years 3 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...