4434 search results - page 329 / 887 » On the Composition of Hybrid Systems |
169
Voted
MIRRORBOT
2005
Springer
16 years 6 days ago
2005
Springer
Audition is one of our most important modalities and is widely used to communicate and sense the environment around us. We present an auditory robotic...
207
click to vote
PODC
1994
ACM
15 years 10 months ago
1994
ACM
We describe a method for writing assumption/guarantee specifications of concurrent systems. We also provide a proof rule for reasoning about the composition of these systems. Spec...
152
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper, we develop a theory of computable types suitable for the study of control systems. The theory uses type-two effectivity as the underlying computational model, bu...
138
click to vote
MVA
2007
15 years 8 months ago
2007
The Agent WiSARD methodology for intelligent active video surveillance systems is proposed in this paper. The hybrid neurosymbolic system (called ISIDIS) is based on the integrati...
153
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Output-based feedback control of discrete-time hybrid systems is an important problem, as in practice it is rarely the case that the full state variable is available for feedback. ...