613 search results - page 61 / 123 » Observability of Linear Hybrid Systems |
101
click to vote
ICCV
2009
IEEE
16 years 4 months ago
2009
IEEE
We use concepts from chaos theory in order to model
nonlinear dynamical systems that exhibit deterministic behavior.
Observed time series from such a system can be embedded
into...
AUTOMATICA
1999
14 years 11 months ago
1999
We consider a linearized parameter-varying model of a planar crane and show how a controller can be designed, following the state-feedback stabilization technique for time-varying...
158
click to vote
FASE
2004
Springer
15 years 3 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
PTS
1998
15 years 1 months ago
1998
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
101
click to vote
NIPS
2001
15 years 1 months ago
2001
We show that states of a dynamical system can be usefully represented by multi-step, action-conditional predictions of future observations. State representations that are grounded...