2123 search results - page 175 / 425 » Composition of Cyber-Physical Systems |
172
click to vote
RTAS
2006
IEEE
16 years 16 days ago
2006
IEEE
We report on our experience with the implementation of the Real-time Specification for Java (RTSJ) in the DARPA Program Composition for Embedded System (PCES) program. Within the...
190
click to vote
ERLANG
2003
ACM
15 years 11 months ago
2003
ACM
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...
168
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper a reactive and concurrent control framework for viewpoint control is developed. The viewpoint control task is decomposed into three control objectives namely; obstac...
157
click to vote
TPPP
1994
15 years 10 months ago
1994
We introduce a method for the specification of reactive asynchronous components with a concurrent access interface and outline its mathematical foundation. The method supports the...
151
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...