Fluidization of discrete event models or a marriage between the discrete and the continuous
Envie de télécharger cette vidéo sur votre ordinateur ? Cliquez ici (poids : 2.2 Go)
Formal discrete event, hybrid and continuous representations of systems provide “views” of their structure and behaviour in potentially many fields of application. In information technology (also in epidemiology, biochemistry, etc.), discrete event models are frequently “adequate” from a descriptive point of view (idea of faithfulness or accuracy), but the so called “state explosion problem” may eventually make their consideration not very practical.
Technically speaking, the fluidization of a discrete event model can be viewed as a (partial) relaxation of its state “from the integers into the reals”. From a more conceptual perspective, it can be viewed as a change of the point of view “from the individuals to populations” (i.e., single agents in a given internal state would not be distinguishable). The goal of such kind of relaxation or change of the point of view may be to reduce the computational complexity of the algorithms for certain analysis and synthesis problems, eventually to make decidable some properties. Of course, some price should be paid for that, and certain properties cannot be studied on the hybrid or continuous derived model, while for other properties only “approximate” answers can be obtained. As an important advantage, the more populated the system is, usually the more accurate are the answers obtained and the bigger are the computational savings obtained.
Taking Petri Nets as a well-known and expressive family of formalisms for discrete event “views”, the presentation will introduce the fluidization and focus on new analysis and synthesis possibilities, as much as on the price paid for that.
Orateur(s) : Manuel Silva, University of Zaragoza
Public : Tous
Date : Tuesday 25 November 2014 at 18:00
Lieu : Amphithéâtre Astier, Esclangon Building
- Le temps et les événements en informatique
- Le génie mathématique, du théorème des quatre couleurs à la classification des groupes
- Unifying logic and probability: A “New Dawn” for Artificial Intelligence?
- Taking Education Online: A Unique Opportunity for the New Millenium
- Lauréat prix Gilles Kahn 2012 : Camille Couprie
- Lauréat prix Gilles Kahn 2012 : Mathilde Noual
- Lauréat prix Gilles Kahn 2012 : Mathieu Feuillet
- Gilles Dowek: Are formal methods the future of air traffic control?
- Tony Hoare: Laws of concurrent system design
- On the Preservation of Digital Information
- L'information mentale
- Myths about MOOCs and Software Engineering Education
- Toward a Theory of Trust in Networks of Humans and Computers
- Computer Science: All Questions Answered
- Fluidization of discrete event models or a marriage between the discrete and the continuous
- Vers des bases de connaissances personnelles
- The new era of biology is computational
- Proofs, Secrets, and Computation
- Desperately seeking software perfection
- Les informaticiennes, de la dominance de classe aux discriminations de sexe
- Cybersecurity and network measurement : problematic in so many ways
- Really Big Data Analytics on Graphs with Trillions of Edges
- Robots that exceed human capabilities
- "Chirps" everywhere
- Abstract interpretation
- What Makes Digital Inclusion Good Or Bad? Liste détaillée.
En savoir +
Si vous rencontrez des problèmes pour visualiser la vidéo, nous vous recommandons de mettre à jour Flash Player