4434 search results - page 495 / 887 » On the Composition of Hybrid Systems |
161
click to vote
ENTCS
2008
15 years 7 months ago
2008
We address the problem of component reuse by describing a quotient operation. Starting from the specifications of the behaviors of the component and of the desired overall system,...
167
click to vote
CC
2002
Springer
15 years 6 months ago
2002
Springer
The purpose of this paper is to present four basic methods for ional separate modular static analysis of programs by abstract interpretation: simpli cation-based separate analysis;...
146
click to vote
ANSOFT
1999
15 years 6 months ago
1999
We give a formal framework for studying real-time discrete-event systems. It describes concurrent processes as sets of possible behaviors. Compositions of processes are processes ...
174
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper, we present a feedback control law to make an autonomous vehicle with rigidly mounted range sensors track a desired curve. In particular, we consider a vehicle wh...
186
click to vote
CEEMAS
2003
Springer
16 years 3 days ago
2003
Springer
We present an agent-based Producer/Consumer scenario, that is the key element of manufacturing systems and therefore of utmost importance. We call it a MSWS-system, which is made u...