Sciweavers

423 search results - page 13 / 85
» Bounded Finite State Controllers
Sort
View
90
Voted
CDC
2010
IEEE
144views Control Systems» more  CDC 2010»
14 years 6 months ago
Robust controller design by convex optimization based on finite frequency samples of spectral models
Abstract-- Some frequency-domain controller design problems are solved using a finite number of frequency samples. Consequently, the performance and stability conditions are not gu...
Gorka Galdos, Alireza Karimi, Roland Longchamp
108
Voted
IJCAI
2007
15 years 1 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
IJFCS
2008
166views more  IJFCS 2008»
14 years 11 months ago
Decidability and Complexity Analysis of Forbidden State Problems for Discrete Event Systems
The conventional forbidden state problem for discrete event systems is concerned with the issue of synthesizing a maximally permissive control policy to prevent a discrete event s...
Hsu-Chun Yen
CDC
2008
IEEE
144views Control Systems» more  CDC 2008»
15 years 6 months ago
State estimation of nonlinear systems with Markov state reset
— We present a novel observer design for a class of single-output nonlinear systems with Markov jumps. The Markov jump process interferes with a deterministic nonlinear dynamics ...
Stefano Battilotti
DLT
2010
15 years 1 months ago
On the Average Number of States of Partial Derivative Automata
The partial derivative automaton (Apd) is usually smaller than other non-deterministic finite automata constructed from a regular expression, and it can be seen as a quotient of th...
Sabine Broda, António Machiavelo, Nelma Mor...