rate based stochastic fusion calculus and
play

Rate-Based Stochastic Fusion Calculus and Angelo Troina Continuous - PowerPoint PPT Presentation

Sep 02, 2022 •140 likes •480 views

Rate-Based Stochastic Fusion Calculus and Continuous Time Markov Chains Gabriel Ciobanu, Rate-Based Stochastic Fusion Calculus and Angelo Troina Continuous Time Markov Chains Fusion Calculus Features Syntax and Semantics Continuous Time

  1. Rate-Based Stochastic Fusion Calculus and Continuous Time Markov Chains Gabriel Ciobanu, Rate-Based Stochastic Fusion Calculus and Angelo Troina Continuous Time Markov Chains Fusion Calculus Features Syntax and Semantics Continuous Time Markov Chains Gabriel Ciobanu, Angelo Troina Definition Simulating CTMCs Markovian Bisimulation Stochastic Fusion ICTCS’12, September 21, 2012, Varese, Italy Calculus Syntax and Semantics Process Equivalence in SFC From SFC Processes to CTMCs The AM Symbiosis Biological System Formal Modelling Simulation Results Conclusions

  2. Rate-Based Features of Fusion Calculus Stochastic Fusion Calculus and Continuous Time Markov Chains A global fusion relation modelling global shared state. 1 Gabriel Ciobanu, Angelo Troina Fusion Calculus Features π -Calculus Fusion Calculus Syntax and Semantics Communication Local Local or global Continuous Time Markov Chains Effect Definition Binding Input and Restriction Only one binding operator Simulating CTMCs Markovian Operators Input always binds Neither Input or output Bisimulation Output sometimes binds are binding Stochastic Fusion Calculus Bisimulation Early Only one Syntax and Semantics Process Equivalence Congruence Late congruence: in SFC Open From SFC Processes to CTMCs Hyperequivalence The AM Symbiosis Which one is “best”? Biological System Formal Modelling Simulation Results Conclusions 1 J. Parrow, B. Victor. The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes. Proc. LICS, IEEE Computer Society, 176-185, 1998.

  3. Rate-Based Fusion in Action Stochastic Fusion Calculus and Continuous Time Markov Chains Gabriel Ciobanu, Angelo Troina Fusion Calculus Features Syntax and Semantics Continuous Time Markov Chains Definition Simulating CTMCs Markovian Bisimulation Stochastic Fusion Calculus Syntax and Semantics Process Equivalence in SFC From SFC Processes to CTMCs The AM Symbiosis Biological System Formal Modelling Simulation Results Conclusions

  4. Rate-Based Syntax Stochastic Fusion Calculus and Continuous Time Markov Chains Gabriel Ciobanu, Angelo Troina Fusion Calculus Features Syntax and Semantics Continuous Time Markov Chains Definition Simulating CTMCs Markovian Bisimulation Stochastic Fusion Calculus Syntax and Semantics Process Equivalence in SFC From SFC Processes to CTMCs The AM Symbiosis Biological System Formal Modelling Simulation Results Conclusions

  5. Rate-Based Semantics Stochastic Fusion Calculus and Continuous Time Markov Chains Gabriel Ciobanu, Angelo Troina Fusion Calculus Features Syntax and Semantics Continuous Time Markov Chains Definition Simulating CTMCs Markovian Bisimulation Stochastic Fusion Calculus Syntax and Semantics Process Equivalence in SFC From SFC Processes to CTMCs The AM Symbiosis Biological System Formal Modelling Simulation Results Conclusions

  6. Rate-Based Delayed Input Stochastic Fusion Calculus and Continuous Time Markov Chains In π extended with delayed input, u ( x ) : P stands for a non Gabriel Ciobanu, stopped process P which can perform input on channel u at Angelo Troina any time. Fusion Calculus Features Syntax and Semantics Continuous Time In fusion calculus, delayed input is given by the process: Markov Chains Definition Simulating CTMCs Markovian ( x )( ax | P ) Bisimulation Stochastic Fusion Calculus Syntax and Semantics Process Equivalence in SFC From SFC Processes to CTMCs The AM Symbiosis Biological System Formal Modelling Simulation Results Conclusions ( x )( c r x | P cell | [ x = s ] P ActPath )

  7. Rate-Based Continuous Time Markov Chains Stochastic Fusion Calculus and Continuous Time Markov Chains A Continuous Time Markov Chain (CTMC) is a triple Gabriel Ciobanu, Angelo Troina � S , T , s 0 � , where: ◮ S is the set of states, Fusion Calculus Features R ≥ 0 is the transition function, ◮ T : S × S �→ I Syntax and Semantics Continuous Time ◮ s 0 ∈ S is the initial state. Markov Chains Definition The system passes from a state s to a state s ′ by consuming Simulating CTMCs Markovian Bisimulation an exponentially distributed quantity of time, in which the Stochastic Fusion parameter of the exponential distribution is T( s , s ′ ). The Calculus cumulative distribution is T( s , C ) = � Syntax and Semantics s ′ ∈ C T( s , s ′ ) Process Equivalence in SFC From SFC Processes to CTMCs Many analysis techniques and tools are available for CTMCs, The AM Symbiosis e.g. the PRISM model checker. 2 Biological System Formal Modelling Simulation Results Conclusions 2 M. Kwiatkowska, G. Norman, D. Parker. Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. Int. J. on Soft. Tools for Technology Transfer, vol.6, 128142, 2004.

  8. Rate-Based CTMC: Simulation Stochastic Fusion Calculus and Continuous Time Markov Chains Gabriel Ciobanu, Angelo Troina Fusion Calculus Features Syntax and Semantics Continuous Time Markov Chains Definition Simulating CTMCs Markovian Bisimulation Stochastic Fusion Calculus Syntax and Semantics Process Equivalence in SFC From SFC Processes to CTMCs The AM Symbiosis Biological System Formal Modelling Simulation Results Conclusions

  9. Rate-Based CTMC: Simulation Stochastic Fusion Calculus and Continuous Time Markov Chains Gabriel Ciobanu, Angelo Troina Fusion Calculus Features Syntax and Semantics Continuous Time Markov Chains Definition Simulating CTMCs Markovian Bisimulation Stochastic Fusion Calculus Syntax and Semantics Process Equivalence in SFC From SFC Processes to CTMCs The AM Symbiosis Biological System Formal Modelling Simulation Results Conclusions

  10. Rate-Based CTMC: Simulation Stochastic Fusion Calculus and Continuous Time Markov Chains Gabriel Ciobanu, Angelo Troina Fusion Calculus Features Syntax and Semantics Continuous Time Markov Chains Definition Simulating CTMCs Markovian Bisimulation Stochastic Fusion Calculus Syntax and Semantics Process Equivalence in SFC From SFC Processes to CTMCs The AM Symbiosis Biological System Formal Modelling Simulation Results Conclusions

  11. Rate-Based CTMC: Simulation Stochastic Fusion Calculus and Continuous Time Markov Chains Gabriel Ciobanu, Angelo Troina Fusion Calculus Features Syntax and Semantics Continuous Time Markov Chains Definition Simulating CTMCs Markovian Bisimulation Stochastic Fusion Calculus Syntax and Semantics Process Equivalence in SFC From SFC Processes to CTMCs The AM Symbiosis Biological System Formal Modelling Simulation Results Conclusions

  12. Rate-Based CTMCs: Race Condition Stochastic Fusion Calculus and Continuous Time Markov Chains Gabriel Ciobanu, Angelo Troina Fusion Calculus Features Syntax and Semantics Continuous Time Markov Chains Definition Simulating CTMCs Markovian Bisimulation Stochastic Fusion Calculus Syntax and Semantics Process Equivalence in SFC From SFC Processes to CTMCs The AM Symbiosis Biological System Formal Modelling Simulation Results Conclusions

  13. Rate-Based CTMCs: Race Condition Stochastic Fusion Calculus and Continuous Time Markov Chains Gabriel Ciobanu, Angelo Troina Fusion Calculus Features Syntax and Semantics Continuous Time Markov Chains Definition Simulating CTMCs Markovian Bisimulation Stochastic Fusion Calculus Syntax and Semantics Process Equivalence in SFC From SFC Processes to CTMCs The AM Symbiosis Biological System Formal Modelling Simulation Results Conclusions

  14. Rate-Based CTMCs: Race Condition Stochastic Fusion Calculus and Continuous Time Markov Chains Gabriel Ciobanu, Angelo Troina Fusion Calculus Features Syntax and Semantics Continuous Time Markov Chains Definition Simulating CTMCs Markovian Bisimulation Stochastic Fusion Calculus Syntax and Semantics Process Equivalence in SFC From SFC Processes to CTMCs The AM Symbiosis Biological System Formal Modelling Simulation Results Conclusions

  15. Rate-Based CTMCs: Race Condition Stochastic Fusion Calculus and Continuous Time Markov Chains Gabriel Ciobanu, Angelo Troina Fusion Calculus Features Syntax and Semantics Continuous Time Markov Chains Definition Simulating CTMCs Markovian Bisimulation Stochastic Fusion Calculus Syntax and Semantics Process Equivalence in SFC From SFC Processes to CTMCs The AM Symbiosis Biological System Formal Modelling Simulation Results Conclusions

  16. Rate-Based CTMCs: Race Condition Stochastic Fusion Calculus and Continuous Time Markov Chains Gabriel Ciobanu, Angelo Troina Fusion Calculus Features Syntax and Semantics Continuous Time Markov Chains Definition Simulating CTMCs Markovian Bisimulation Stochastic Fusion Calculus Syntax and Semantics Process Equivalence in SFC From SFC Processes to CTMCs The AM Symbiosis Biological System Formal Modelling Simulation Results Conclusions with duration ti= min { t1, t2, t3 } .

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

A little stochastic calculus: Hull, ch. 13 & 14. Assume dS S = .dt + .dz , or dS =

A little stochastic calculus: Hull, ch. 13 & 14. Assume dS S = .dt + .dz , or dS =

A little stochastic calculus: Hull, ch. 13 & 14. Assume dS S = .dt + .dz , or dS = .Sdt + .Sdz . Geometric Brownian Motion, where & are resp. the mean & SD of the ctsly compounded annual rate of return on

727 views • 7 slides
From Stochastic Calculus of Variations on Wiener space to Stochastic Calculus of

From Stochastic Calculus of Variations on Wiener space to Stochastic Calculus of

From Stochastic Calculus of Variations on Wiener space to Stochastic Calculus of Variations on Poisson space. Maurizio Pratelli Department of Mathematics, University of Pisa pratelli@dm.unipi.it Brixen, July 16, 2007 Malliavins

497 views • 39 slides
An Introduction to Stochastic Calculus Haijun Li lih@math.wsu.edu Department of Mathematics

An Introduction to Stochastic Calculus Haijun Li lih@math.wsu.edu Department of Mathematics

An Introduction to Stochastic Calculus Haijun Li lih@math.wsu.edu Department of Mathematics Washington State University Week 12 Haijun Li An Introduction to Stochastic Calculus Week 12 1 / 18 Outline More on Change of Measure 1

851 views • 81 slides
Rate-Based Transition Systems and Stochastic Process Algebras Rocco De Nicola 1 , 3 Diego Latella

Rate-Based Transition Systems and Stochastic Process Algebras Rocco De Nicola 1 , 3 Diego Latella

Rate-Based Transition Systems and Stochastic Process Algebras Rocco De Nicola 1 , 3 Diego Latella 2 Michele Loreti 1 Mieke Massink 2 1 DSI - Universit di Firenze, Firenze 2 ISTI - CNR, Pisa 3 IMT - Alti Studi, Lucca - Annual Meeting Bologna -

1.44k views • 85 slides
Nonlinear Expectations and Stochastic Calculus under Uncertainty with a New Central Limit

Nonlinear Expectations and Stochastic Calculus under Uncertainty with a New Central Limit

Nonlinear Expectations and Stochastic Calculus under Uncertainty with a New Central Limit Theorem and G-Brownian Motion Shige PENG Institute of Mathematics Shandong University 250100, Jinan, China peng@sdu.edu.cn Version: first edition 2

1.54k views • 141 slides
arXiv:1002.4546v1 [math.PR] 24 Feb 2010 Nonlinear Expectations and Stochastic Calculus under

arXiv:1002.4546v1 [math.PR] 24 Feb 2010 Nonlinear Expectations and Stochastic Calculus under

arXiv:1002.4546v1 [math.PR] 24 Feb 2010 Nonlinear Expectations and Stochastic Calculus under Uncertainty with Robust Central Limit Theorem and G-Brownian Motion Shige PENG Institute of Mathematics Shandong University 250100, Jinan, China

1.8k views • 149 slides
Query-based sentence fusion is better defined and leads to more preferred results than generic

Query-based sentence fusion is better defined and leads to more preferred results than generic

Query-based sentence fusion is better defined and leads to more preferred results than generic sentence fusion Emiel Krahmer, Erwin Marsi, Paul van Pelt Tilburg University The Netherlands Plan 1. Introduction: sentence fusion 2. Q-driven vs.

362 views • 19 slides
It os calculus in physics and stochastic partial differential equations Josselin Garnier

It os calculus in physics and stochastic partial differential equations Josselin Garnier

It os calculus in physics and stochastic partial differential equations Josselin Garnier (Universit e Paris Diderot) http://www.josselin-garnier.org/ Long controversy in the physical literature: It o versus Stratonovich. It

272 views • 24 slides
Verification of New Mesh-based Rigorous 2 Step Computational Approach for the Shutdown Dose Rate

Verification of New Mesh-based Rigorous 2 Step Computational Approach for the Shutdown Dose Rate

Transactions of the Korean Nuclear Society Virtual Spring Meeting July 9-10, 2020 Verification of New Mesh-based Rigorous 2 Step Computational Approach for the Shutdown Dose Rate Distributions in the Fusion Facilities Jae Hyun KIM, Myeong Hyeon

166 views • 3 slides
A Calculus for Stochastic Interventions: Causal Effect Identification and Surrogate Experiments

A Calculus for Stochastic Interventions: Causal Effect Identification and Surrogate Experiments

A Calculus for Stochastic Interventions: Causal Effect Identification and Surrogate Experiments Juan D. Correa and Elias Bareinboim {jdcorrea, eb}@cs.columbia.edu February, 2020, New York 1 Outline 2 Outline Hard/atomic interventions

1.36k views • 80 slides
Nonlinear Expectations and Stochastic Calculus under Uncertainty with Robust Central Limit

Nonlinear Expectations and Stochastic Calculus under Uncertainty with Robust Central Limit

Nonlinear Expectations and Stochastic Calculus under Uncertainty with Robust Central Limit Theorem and G-Brownian Motion Shige Peng Shandong University Presented at Spring School of Roscoff Shandong University Presented at

1.18k views • 65 slides
A Stochastic PCA Algorithm with an Exponential Convergence Rate Ohad Shamir Weizmann Institute

A Stochastic PCA Algorithm with an Exponential Convergence Rate Ohad Shamir Weizmann Institute

A Stochastic PCA Algorithm with an Exponential Convergence Rate Ohad Shamir Weizmann Institute of Science NIPS Optimization Workshop December 2014 Ohad Shamir Stochastic PCA with Exponential Convergence 1/19 Principal Component Analysis

567 views • 31 slides
Part II: Lambda Calculus Lambda Calculus is a foundation for functional programs. Its an

Part II: Lambda Calculus Lambda Calculus is a foundation for functional programs. Its an

Part II: Lambda Calculus Lambda Calculus is a foundation for functional programs. Its an operational semantics, based on term rewriting. Lambda Calculus was developed by Alonzo Church in the 1930s and 40s as a theory of

820 views • 42 slides
F ROM S TO HA P HASE 1 Writing the stochastic -calculus code. G =? b k b . G b k p p .

F ROM S TO HA P HASE 1 Writing the stochastic -calculus code. G =? b k b . G b k p p .

I NTRODUCTION H YBRID A UTOMATA S E XAMPLES H YBRID S EMANTICS FOR S TOCHASTIC - CALCULUS Luca Bortolussi 1 , 2 Alberto Policriti 3 , 4 1 Dipartimento di Matematica ed Informatica Universit degli studi di Trieste luca@dmi.units.it 2 Center

514 views • 33 slides
Outline 1 The General Framework A Central Limit Theorem for Truncating A standard stochastic

Outline 1 The General Framework A Central Limit Theorem for Truncating A standard stochastic

The General Framework The General Framework TCL for truncating Stochastic Algorithms TCL for truncating Stochastic Algorithms A motivating example in finance A motivating example in finance Convergence Rate Convergence Rate Scheme of the

508 views • 9 slides
FE610 Stochastic Calculus for Financial Engineers Lecture 4. Pricing Derivatives Steve Yang

FE610 Stochastic Calculus for Financial Engineers Lecture 4. Pricing Derivatives Steve Yang

Pricing Derivatives Martingales and Submartingales Pricing Functions Application: Another Pricing Method The Problem FE610 Stochastic Calculus for Financial Engineers Lecture 4. Pricing Derivatives Steve Yang Stevens Institute of Technology

484 views • 24 slides
THE LONG ROAD TOWARDS ELASTIC DISTRIBUTED STREAM PROCESSING Leonardo Querzoni

THE LONG ROAD TOWARDS ELASTIC DISTRIBUTED STREAM PROCESSING Leonardo Querzoni

THE LONG ROAD TOWARDS ELASTIC DISTRIBUTED STREAM PROCESSING Leonardo Querzoni querzoni@diag.uniroma1.it Auto-DaSP - Turin, August 28th 2018 D IPARTIMENTO DI I NGEGNERIA CIS Sapienza I NFORMATICA A UTOMATICA E G ESTIONALE A NTONIO R UBERTI

834 views • 70 slides
Computing and Processing Correspondences with Functional Maps SIGGRAPH 2017 course Maks Ovsjanikov

Computing and Processing Correspondences with Functional Maps SIGGRAPH 2017 course Maks Ovsjanikov

Computing and Processing Correspondences with Functional Maps SIGGRAPH 2017 course Maks Ovsjanikov , Etienne Corman, Michael Bronstein, Emanuele Rodol, Mirela BenChen , Leonidas Guibas, Frederic Chazal, Alex Bronstein Functional Vector Fields

698 views • 46 slides
U SING Q UALITY V IEWS TO T ACKLE T ECHNICAL D EBT AT S EEN N OT S EEN Q UALITY V IEWS M OTIVATION

U SING Q UALITY V IEWS TO T ACKLE T ECHNICAL D EBT AT S EEN N OT S EEN Q UALITY V IEWS M OTIVATION

U SING Q UALITY V IEWS TO T ACKLE T ECHNICAL D EBT AT S EEN N OT S EEN Q UALITY V IEWS M OTIVATION Big Ball of Mud Foote and Yoder E XPEDIENT R EPAIR Of course this is only temporary , unless it works . Red Green The secret is

1.05k views • 57 slides
Queues and Network Control for Urban Traffic Systems Workshop on Control for Networked

Queues and Network Control for Urban Traffic Systems Workshop on Control for Networked

Queues and Network Control for Urban Traffic Systems Workshop on Control for Networked Transportation Systems July 8 2019 Ketan Savla ( ksavla@usc.edu ) University of Southern California Ketan Savla (USC) CNTS Workshop July 8 2019 1 / 11

1.49k views • 42 slides
Immutability, or Putting the Dream Machine to Work The trie memory scheme is ine ffi cient for

Immutability, or Putting the Dream Machine to Work The trie memory scheme is ine ffi cient for

Immutability, or Putting the Dream Machine to Work The trie memory scheme is ine ffi cient for small memories, but it be- comes increasingly e ffi cient in using available storage space as memory size increases. The attractive features of the

867 views • 62 slides
Symbiosis Column Stores and R Statistics XLDB 2013, Hannes Mhleisen, CWI Database Architectures

Symbiosis Column Stores and R Statistics XLDB 2013, Hannes Mhleisen, CWI Database Architectures

Symbiosis Column Stores and R Statistics XLDB 2013, Hannes Mhleisen, CWI Database Architectures Why Statistical computing & graphics Free, Open Source, ... Data Handling, Calculations, ... Lots of contributed packages

336 views • 16 slides
Taxi Travel Time Prediction Assignment 3 - Outcome Lecture Sebastian Caldas and Nicholay Topin

Taxi Travel Time Prediction Assignment 3 - Outcome Lecture Sebastian Caldas and Nicholay Topin

Taxi Travel Time Prediction Assignment 3 - Outcome Lecture Sebastian Caldas and Nicholay Topin This lecture has 2 objectives: Understand how Summarize the the assignments students solutions have related to the to the assignment

912 views • 36 slides
Uber vs Taxi Usage: the Toronto VfH Case Study Gozde Ozonder, MSc TMG Workshop Eric J. Miller,

Uber vs Taxi Usage: the Toronto VfH Case Study Gozde Ozonder, MSc TMG Workshop Eric J. Miller,

Uber vs Taxi Usage: the Toronto VfH Case Study Gozde Ozonder, MSc TMG Workshop Eric J. Miller, PhD Mobility Tools & Services Department of Civil & Mineral Engineering February 5, 2020 University of Toronto The Telegraph, 2015 NL

290 views • 25 slides

More recommend