• Aucun résultat trouvé

Unfolding Models of Asynchronous Systems: Applications to Analysis and Synthesis

N/A
N/A
Info
Télécharger
Protected

Academic year: 2022

Partager "Unfolding Models of Asynchronous Systems: Applications to Analysis and Synthesis"

Copied!
1
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)

Unfolding Models of Asynchronous Systems:

Applications to Analysis and Synthesis

Victor Khomenko Newcastle University School of Computing [email protected]

Abstract. Analysis and synthesis of concurrent systems suffers from combinatorial state space explosion. That is, even a relatively small sys- tem specification can (and often does) yield a very large state space.

One of the prominent techniques for alleviating this problem is based on complete prefixes of Petri net unfoldings. It relies on the partial order view of concurrent computation, and represents system states implicitly, using an acyclic Petri net. This talk describes applications of the un- folding technique to analysis of concurrent systems in general, and to verification and synthesis of asynchronous circuits in particular.

Références

Télécharger maintenant ( PDF - 1 Page - 157.95 KB )

Documents relatifs

Analysis of Statistical Parametric and Unit Selection Speech Synthesis Systems Applied to Emotional Speech

Synthetic speech generated from each emotional voice was evaluated using from three perspectives: measur- ing the speech quality; measuring the ability of listeners to

Asynchronous Event Based Vision: Algorithms and Applications to Microrobotics

Keywords: Dynamic Vision Sensor; Asynchronous Event Based Computation; Haptic Feedback; Teleoperation; Optical Tweezers; Microrobotics; Micromanipula- tion;... Résumé: Bien que

Distributed monitoring of concurrent and asynchronous systems.

In this study we consider a distributed system with asynchronous communications and concurrency, both between and within the different subsystems. Several mathematical frameworks

Distributed monitoring of concurrent and asynchronous systems---extended version

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des

Towards specification and proof of asynchronous systems

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des

The Flemish Negative Case: Explaining the Prevalence of Regionalist Demands without Request for an Independence Referendum

for the functioning of the newly established sub-state institutions. Before the first direct elections of 1995, national MPs served in these institutions with a

Conception et réalisation d'un radar de contrôle routier

Dans le deuxième chapitre, nous allons abeirder les notions de base sur les images avec une étude sur le traitement d'images et les méthodes de reconnaissance optique

Analysis and synthesis of reset control systems

From a theoretical viewpoint, first attempts to rigorously analyze stability of reset systems with Clegg integrators can be found in Hu et al. In particular, an integral