Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
Roland Bouroulet, Raymond R. Devillers, Hanna Klau...
This paper describes three visually interactive tools for the analysis, modeling, and generation of long-range dependent (LRD) network traffic. The synTraff toolkit uses a three-s...
— In this paper, we present a trajectory tracking control algorithm for an autonomous motorcycle for the DARPA Grand Challenge. The mathematical dynamic model of the autonomous m...
Jingang Yi, Dezhen Song, Anthony Levandowski, Suha...
Model-based diagnosis of technical systems requires both a simulation machinery and a logic calculus. The former is responsible for the system's behavior analysis, the latter...
Few people use the probability theory in order to achieve image segmentation with snake models. In this article1 , we are presenting an active contour algorithm based on a probabi...