1757 search results - page 11 / 352 » Alternating Refinement Relations |
ENTCS
2008
13 years 9 months ago
2008
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. This paper presents simulation-based relations for probabilistic game structures. The first relation is called probabilistic alternating simulation, and the second called...
FM
1999
Springer
14 years 2 months ago
1999
Springer
Refinement semantics is an alternative to least fixpoint semantics that is more useful for programming. From it we derive a variety of rules for w h i l e-loops, for-loops, and loo...
AUTOMATICA
2005
13 years 9 months ago
2005
Trajectory generation for nonlinear control systems is an important and difficult problem. In this paper, we provide a constructive method for hierarchical trajectory refinement. ...
ICANN
2003
Springer
14 years 3 months ago
2003
Springer
Fuzzy relations as representational tools and fuzzy compositional operators as reasoning components, are user in this paper in order to represent knowledge expressed in semantic ru...