Lecture

Martingale-based Methods for Stochastic Systems

In course
DEMO: est sit
Aliqua veniam nulla mollit irure mollit aute ut enim esse. Elit labore nostrud aliqua deserunt adipisicing sunt ea. Qui adipisicing excepteur enim voluptate ea est pariatur voluptate esse velit sint. Sint et aliqua ad veniam quis consectetur nisi. Ut magna excepteur dolor aute ea ipsum sunt ea irure ex.
Login to see this section
Description

This lecture covers the formal analysis of stochastic systems, focusing on martingales and their applications in probabilistic programs, stochastic control, and quantitative termination analysis. It explores the concept of martingales as stochastic processes constant or decreasing in expectation, with examples like Gambler's ruin. The talk delves into stochastic invariants, supermartingales, and their role in certifying termination probabilities. It also discusses the completeness of stochastic invariants for quantitative termination analysis and the synthesis of certificates for termination. The lecture concludes with a discussion on stability verification and control in stochastic systems, including the use of neural network supermartingales. Future work includes improving algorithms for better bounds and conditioning.

Instructor
excepteur quis
Amet cupidatat est deserunt elit eiusmod dolor consectetur nostrud esse ut eiusmod ex consequat consequat. Ullamco eiusmod officia aute ex laborum. Lorem fugiat ipsum consequat irure id quis proident. Est velit occaecat aliqua cupidatat ullamco dolore dolor nisi ea ipsum commodo. Aliqua sit officia nostrud enim proident ipsum anim magna ipsum.
Login to see this section
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Related lectures (33)
Martingales and Brownian Motion Construction
Explores the construction of Brownian motion with continuous trajectories and the dimension of its zero set.
Probability and Statistics for SIC
Delves into probability, statistics, random experiments, and statistical inference, with practical examples and insights.
Neuromorphic Computing: Concepts and Hardware Implementations
Covers neuromorphic computing, challenges in ternary and binary computing, hardware simulations of the brain, and new materials for artificial brain cells.
Random Variables and Expected Value
Introduces random variables, probability distributions, and expected values through practical examples.
Convergence of Random Variables
Explores the convergence of random variables, the law of large numbers, and the distribution of failure time.
Show more