4693 search results - page 63 / 939 » Verifying Hybrid Systems |
91
Voted
HYBRID
2004
Springer
15 years 6 months ago
2004
Springer
The observability of deterministic, discrete-time, switched, linear systems is considered. Depending on whether or not the modes are observed, and on whether the continuous state o...
94
Voted
HYBRID
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We study continuous-time switched linear systems with unobserved and exogenous mode signals. We analyze the observability of the initial state and initial mode under arbi...
112
Voted
ICRA
1995
IEEE
15 years 4 months ago
1995
IEEE
—Learning control is a concept for controlling dynamic systems in an iterative manner. It arises from the recognition that robotic manipulators are usually used to perform repeti...
114
click to vote
HPDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Data is routinely created, disseminated, and processed in distributed systems that span multiple administrative domains. To maintain accountability while the data is transformed b...
89
Voted
ACMSE
2007
ACM
15 years 4 months ago
2007
ACM
Modularity, hierarchy, and interaction locality are general approaches to reducing the complexity of any large system. A widely used principle in achieving these goals in designin...