2067 search results - page 164 / 414 » Logics of propositional control |
116
click to vote
ICRA
2007
IEEE
15 years 8 months ago
2007
IEEE
— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...
127
click to vote
TSMC
1998
15 years 1 months ago
1998
—A Neural integrated Fuzzy conTroller (NiF-T) which integrates the fuzzy logic representation of human knowledge with the learning capability of neural networks is developed for ...
118
click to vote
VMCAI
2009
Springer
15 years 8 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
CCGRID
2004
IEEE
15 years 5 months ago
2004
IEEE
Abstract-- We describe
115
click to vote
CEC
2007
IEEE
15 years 8 months ago
2007
IEEE
— This paper presents a new method to generalize strategies in order to control parameters of Evolutionary Algorithms (EAs). A learning process establishes the relationship betwe...