Sciweavers

288 search results - page 19 / 58
» Evolved finite state controller for hybrid system
Sort
View
UAI
2008
13 years 10 months ago
Sensitivity analysis for finite Markov chains in discrete time
When the initial and transition probabilities of a finite Markov chain in discrete time are not well known, we should perform a sensitivity analysis. This is done by considering a...
Gert De Cooman, Filip Hermans, Erik Quaeghebeur
ICECCS
2007
IEEE
92views Hardware» more  ICECCS 2007»
14 years 15 days ago
A first approach to the closed-form specification and analysis of an autonomic control system
Control systems must increasingly be designed to involve collections of hardware and software components, both of which may evolve over the lifetime of the system, and which are e...
Simon Dobson, Eoin Bailey, Stephen Knox, Ross Shan...
IJCAI
2007
13 years 10 months ago
Fault-Model-Based Test Generation for Embedded Software
Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consu...
Michael Esser, Peter Struss
ICRA
2009
IEEE
159views Robotics» more  ICRA 2009»
14 years 3 months ago
State transition, balancing, station keeping, and yaw control for a dynamically stable single spherical wheel mobile robot
— Unlike statically stable wheeled mobile robots, dynamically stable mobile robots can have higher centers of gravity, smaller bases of support and can be tall and thin resemblin...
Umashankar Nagarajan, Anish Mampetta, George Kanto...
AUTOMATICA
1999
62views more  AUTOMATICA 1999»
13 years 8 months ago
Complexity of stability and controllability of elementary hybrid systems
In this paper, we consider simple classes of nonlinear systems and prove that basic questions related to their stability and controllability are either undecidable or computationa...
Vincent D. Blondel, John N. Tsitsiklis