397 search results - page 8 / 80 » Coalgebraic Models for Reactive Systems |
COORDINATION
2006
Springer
14 years 14 days ago
2006
Springer
Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Amb...
FMSB
2008
13 years 10 months ago
2008
Abstract. Natural systems, such as organs and organisms, are largescale complex systems with numerous elements and interactions. Modeling such systems can lead to better understand...
IROS
2008
IEEE
14 years 3 months ago
2008
IEEE
— When robot maintenance impedes the operation of other robots in a seaport container terminal, the operational efficiency is reduced. Therefore, robot reliability is necessary....
EMSOFT
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
DATE
2006
IEEE
14 years 2 months ago
2006
IEEE
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, has become standard practice in the design of reactive embedded devices. However, the modeling of ...