663 search results - page 75 / 133 » Synthesis of Self-Testable Controllers |
119
Voted
FSTTCS
2004
Springer
15 years 8 months ago
2004
Springer
This paper deals with distributed control problems by means of distributed games played on Mazurkiewicz traces. The main difference with other notions of distributed games recentl...
142
Voted
HYBRID
2000
Springer
15 years 6 months ago
2000
Springer
In this paper we describe an experimental system called d=dt for approximating reachable states for hybrid systems whose continuous dynamics is de ned by linear di erential equatio...
133
click to vote
BIRTHDAY
2007
Springer
15 years 6 months ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
96
Voted
CNL
2009
15 years 3 months ago
2009
In this paper we describe two quite different philosophies used in developing controlled languages (CLs): A "naturalist" approach, in which CL interpretation is treated a...
89
Voted
AUTOMATICA
2008
15 years 2 months ago
2008
This paper considers control of nonstationary linear parameter-varying systems, and is motivated by interest in the control of nonlinear systems along prespecified trajectories. I...