Petri net based reasoning for the diagnosis of dynamic discrete event
that ta and tb precede td (td is a future common time reference). B ut the time interval between the occurrence ... extended to fuzzy durations [2 , 1 5 ] as we will see in the following. ... It can also be used at the reasoning level in or- der to build ...
mantic relations between classes, properties and individuals of the local ontologies. ..... tions like specialization, generalization and property substitution on OWL ...
process, such as those of chemical and food industries, with a discrete supervisory system. ... are composed of a control system that exchanges data with the physical entities ...... Unified Modeling Language Reference Manual (2nd edition) ... and Th
framework of the multiplicative fragment of linear logic i.e. with formulas using ... axioms to formulas with meta variables) will be used for linear natural deduction.
University, LSE, Santa Fe Institute, Paris Game Theory Seminar, IHPST ... it is not clear why a rational agent should also be endowed with introspective abilities.
The performances of the detector are evaluated on manually labelled sequences, and its robustness is discussed .... three machine learning algorithms. Efficient ... other information of the emotional flow. .... Another solution would consist in compu
theory control of Ramadge and Wonham [Ram, 87] [Ram,. 89]. ... if this theory gives the best attempted control, it does not ...... Ph.D. Thesis, Laboratoire.
University, LSE, Santa Fe Institute, Paris Game Theory Seminar, IHPST (Paris), Stockholm School of. Economics, University of Warwick, HEC Lausanne and ...
in video games [1], as accuracy of these methods highly increases since ..... [1] E. Kokkevis, âPractical physics for articulated characters,â in Game. Developers ...
ach place of the net represents a logical predicate, which is true when ..... view of the states and the fact that sequences are legal (they respect the ...... techniques of the behavior of the temporal nets are restricted to 1-bounded ..... ÑзS Ñ
In such a theory, the stability is an important ..... and can be maintained even with reduced sensory feed- .... Note, that through this local description the model parameters of the full dynamics can ... and target make sense: ...... Res Q Exercise.
These points underline a need for a repository to manage models using different for- malisms, and centered on different types of semantics. Also, models should ...
In this article we report the results of the survey and we outline perspectives for ... For example, using a low-level modeling formalism with ad-hoc optimizations.
EA 2991 Motor Efficiency and Deficiency. University ... of an auto-regressive process and a random walk, suggesting a possible universal source for. 1/f noise in ...
We recently showed that two kinds of timing control could be distinguished, namely event- based and dynamical timers, used in discrete (finger tapping) and ...
the Pathology Department of Singapore National University Hospital, for the .... In our opinion, CBIR of today doesn't only organize digital data, as it was the ...
diagnosis algorithms for liquid rocket engine monitoring. A cryogenic test ... application of this research. ... Typical operational pressures in the combustion.
case-based reasoning, describes some of the leading methodological ... Activities are rapidly growing - as seen by the ... is a problem solving paradigm that in many respects is fundamentally .... conclusion part briefly summarizes the paper, and poi
This strategy is successfully applied ... implies higher costs, lower autonomy and reduced payload, because of the ... successfully applied to a two-dimensional aircraft model in [11]. Most FDI ..... Mathematics and Computer Science, vol. 14, no.
May 6, 2002 - At each iteration, in order to obtain a set of near-optimal cuts covering .... represents a list of forbidden pairs ( u , ¡ ( u )) meaning that CÏ cannot ...