3458 search results - page 4 / 692 » Abstracting Control |
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
JAIR
2011
12 years 10 months ago
2011
UAI
2003
13 years 8 months ago
2003
ontingent abstraction for robust robot control Joelle Pineau, Geoff Gordon and Sebastian Thrun School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 This pape...
RP
2009
Springer
14 years 10 hour ago
2009
Springer
Counterexamples for Non-disjunctive ions K. L. McMillan1 and L. D. Zuck2 1 Cadence Research Labs 2 University of Illinois at Chicago Counterexample-guided abstraction refinement (...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
undary controllability of an abstract Mead-Marcus sandwich beam model Scott W. Hansen and A. Ozkan Ozer Abstract-- In this paper we prove the exact boundary conlity of an abstract ...