1024 search results - page 31 / 205 » Compositional Methods for Probabilistic Systems |
130
click to vote
ISORC
2003
IEEE
15 years 6 months ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by ...
140
click to vote
SAB
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper, we review methods used for macroscopic modeling and analyzing collective behavior of swarm robotic systems. Although the behavior of an individual robot in...
TCAD
2002
15 years 27 days ago
2002
Abstract--Composite microsystems that integrate mechanical and fluidic components with electronics are emerging as the next generation of system-on-a-chip. Custom microsystems are ...
119
click to vote
AIPS
2011
14 years 4 months ago
2011
Most predominant approaches in probabilistic planning utilize techniques from the more thoroughly investigated field of classical planning by determinizing the problem at hand. I...
126
click to vote
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
— We propose a compositional stability analysis methodology for verifying properties of systems that are interconnections of multiple subsystems. The proposed method assembles st...