Sciweavers

288 search results - page 6 / 58
» Evolved finite state controller for hybrid system
Sort
View
HYBRID
2009
Springer
14 years 2 months ago
Finite Automata as Time-Inv Linear Systems Observability, Reachability and More
We show that regarding finite automata (FA) as discrete, time-invariant linear systems over semimodules, allows to: (1) express FA minimization and FA determinization as particula...
Radu Grosu
CDC
2009
IEEE
135views Control Systems» more  CDC 2009»
13 years 5 months ago
Continuous control of hybrid automata with imperfect mode information assuming separation between state estimation and control
Abstract-- The safety control problem for hybrid automata with imperfect mode information and continuous control is addressed. When the controller does not have access to the mode ...
Rajeev Verma, Domitilla Del Vecchio
CDC
2010
IEEE
13 years 2 months ago
Stability robustness in the presence of exponentially unstable isolated equilibria
This note studies nonlinear systems evolving on manifolds with a finite number of asymptotically stable equilibria and a Lyapunov function which strictly decreases outside equilibr...
David Angeli, Laurent Praly
TNN
2010
139views Management» more  TNN 2010»
13 years 2 months ago
Identification of finite state automata with a class of recurrent neural networks
A class of recurrent neural networks is proposed and proven to be capable of identifying any discrete-time dynamical system. The application of the proposed network is addressed in...
Sung Hwan Won, Iickho Song, Sun-Young Lee, Cheol H...
CONCUR
2004
Springer
13 years 11 months ago
Extended Process Rewrite Systems: Expressiveness and Reachability
Abstract. We unify a view on three extensions of Process Rewrite Systems (PRS) and compare their expressive power with that of PRS. We show that the class of Petri nets is less exp...
Mojmír Kretínský, Vojtech Reh...