continuous and discrete abstractions for planning applied
play

Continuous and discrete abstractions for planning applied to ship - PowerPoint PPT Presentation

Jul 21, 2023 •109 likes •256 views

Continuous and discrete abstractions for planning applied to ship docking Pierre-Jean Meyer , He Yin, Murat Arcak (UC Berkeley) Astrid Brodtkorb, Asgeir Srensen (NTNU) IFAC 2020 Pierre-Jean Meyer (UC Berkeley) Continuous and discrete

  1. Continuous and discrete abstractions for planning applied to ship docking Pierre-Jean Meyer , He Yin, Murat Arcak (UC Berkeley) Astrid Brodtkorb, Asgeir Sørensen (NTNU) IFAC 2020 Pierre-Jean Meyer (UC Berkeley) Continuous and discrete abstractions for planning IFAC 2020 1 / 13

  2. Motivation Problem definition Docking area Nonlinear system: ˙ x = f ( x , u , w ) Reach-Avoid-Stay specification Application to ship docking Reach then stay in docking area Avoid obstacles Correct-by-construction approach Offline path planning and formal methods Formal guarantees Reduced need for simulation-based testing Pierre-Jean Meyer (UC Berkeley) Continuous and discrete abstractions for planning IFAC 2020 2 / 13

  3. Overview Continuous abstraction Discrete abstraction Concrete model u 1 u 2 Models u 1 u 2 u 1 u 1 x = ˆ ˙ x = f ( x, u, w ) ˙ u 2 ˆ f (ˆ x, ˆ u, ˆ w ) u 1 u 2 Reach-avoid-stay specification Updated specifications s s r u 1 Docking area Docking area n e u 2 o l l i u 1 o t r a u 2 u 1 u 1 t c u 2 n fi o i c c e u 1 d u 2 p n S a Piecewise constant controller Tracking controller Discrete controller Pierre-Jean Meyer (UC Berkeley) Continuous and discrete abstractions for planning IFAC 2020 3 / 13

Recommend

Planning and Optimization D2. Abstractions: Additive Abstractions Gabriele R oger and Thomas

Planning and Optimization D2. Abstractions: Additive Abstractions Gabriele R oger and Thomas

Planning and Optimization D2. Abstractions: Additive Abstractions Gabriele R oger and Thomas Keller Universit at Basel October 29, 2018 Multiple Abstractions Additivity Outlook Summary Content of this Course Tasks Progression/

684 views • 31 slides
Planning and Optimization D3. Abstractions: Additive Abstractions Malte Helmert and Gabriele R

Planning and Optimization D3. Abstractions: Additive Abstractions Malte Helmert and Gabriele R

Planning and Optimization D3. Abstractions: Additive Abstractions Malte Helmert and Gabriele R oger Universit at Basel November 6, 2017 Additivity Outlook Summary Content of this Course Tasks Progression/ Regression Planning

570 views • 30 slides
Planning and Optimization D3. Abstractions: Additive Abstractions Malte Helmert and Thomas Keller

Planning and Optimization D3. Abstractions: Additive Abstractions Malte Helmert and Thomas Keller

Planning and Optimization D3. Abstractions: Additive Abstractions Malte Helmert and Thomas Keller Universit at Basel October 30, 2019 Additivity Outlook Summary Content of this Course Foundations Logic Classical Heuristics

432 views • 30 slides
EE562: Robot Motion Planning Slides on Discrete Planning Abubakr Muhammad Discrete Planning

EE562: Robot Motion Planning Slides on Discrete Planning Abubakr Muhammad Discrete Planning

EE562: Robot Motion Planning Slides on Discrete Planning Abubakr Muhammad Discrete Planning Planning (robotics) or Problem Solving (AI) ? We will study Discrete configuration spaces or state spaces Modeling planning problems as

626 views • 27 slides
A bridge between continuous and discrete multiD persistence N. Cavazza 1 , M. Ethier 2 , P. Frosini

A bridge between continuous and discrete multiD persistence N. Cavazza 1 , M. Ethier 2 , P. Frosini

A bridge between continuous and discrete multiD persistence N. Cavazza 1 , M. Ethier 2 , P. Frosini 1 , T. Kaczynski 2 , Claudia Landi 3 1 Universit` a di Bologna 2 Universit e de Sherbrooke 3 Universit` a di Modena e Reggio Emilia Applied and

357 views • 31 slides
CMSC 222: Discrete Mathematics Prof S Fall 2018 What is Discrete Mathematics? Discrete

CMSC 222: Discrete Mathematics Prof S Fall 2018 What is Discrete Mathematics? Discrete

CMSC 222: Discrete Mathematics Prof S Fall 2018 What is Discrete Mathematics? Discrete mathematics is the part of mathematics devoted to the study of discrete (as opposed to continuous) objects. n Calculus deals with continuous objects and is

381 views • 10 slides
Sampling Theory The world is continuous Like it or not, images are discrete. Intro to

Sampling Theory The world is continuous Like it or not, images are discrete. Intro to

Sampling Theory The world is continuous Like it or not, images are discrete. Intro to Sampling Theory We work using a discrete array of pixels We use discrete values for color We use discrete arrays and subdivisions for

316 views • 7 slides
Sampling Theory The world is continuous Like it or not, images are discrete. Intro to

Sampling Theory The world is continuous Like it or not, images are discrete. Intro to

Sampling Theory The world is continuous Like it or not, images are discrete. Intro to Sampling Theory We work using a discrete array of pixels We use discrete values for color We use discrete arrays and subdivisions for

400 views • 8 slides
Not Too Different From Discrete... A Note on Independence For continuous RVs, what is weird about

Not Too Different From Discrete... A Note on Independence For continuous RVs, what is weird about

Not Too Different From Discrete... A Note on Independence For continuous RVs, what is weird about the Continuous RVs Continued: Discrete RV: following? X and Y are independent iff for all a , b : Independence, Conditioning, P [ X = a , Y = b ]

244 views • 5 slides
MCMC for Continuous-Time Discrete-State Systems Vinayak Rao and Yee Whye Teh Gatsby

MCMC for Continuous-Time Discrete-State Systems Vinayak Rao and Yee Whye Teh Gatsby

MCMC for Continuous-Time Discrete-State Systems Vinayak Rao and Yee Whye Teh Gatsby Computational Neuroscience Unit, University College London Overview Continuous-time discrete-state systems: applications in physics, chemistry, genetics,

618 views • 60 slides
Efficient MCMC for Continuous Time Discrete State Systems Vinayak Rao and Yee Whye Teh Gatsby

Efficient MCMC for Continuous Time Discrete State Systems Vinayak Rao and Yee Whye Teh Gatsby

Efficient MCMC for Continuous Time Discrete State Systems Vinayak Rao and Yee Whye Teh Gatsby Computational Neuroscience Unit, University College London Overview Continuous time discrete space systems: applications in physics, chemistry,

851 views • 45 slides
Chapter 5: Probability models 1. Random variables: a) Idea. b) Discrete and continuous

Chapter 5: Probability models 1. Random variables: a) Idea. b) Discrete and continuous

Applied Statistics Chapter 5: Probability models 1. Random variables: a) Idea. b) Discrete and continuous variables. c) The probability function (density) and the distribution function. d) Mean and variance of a random variable. 2. Probability

644 views • 25 slides
Y F totalexpL Ky fy g dy Ef ace Poisson y f yeidy I law of total probe 0 Pr Xd Pr XcY Y

Y F totalexpL Ky fy g dy Ef ace Poisson y f yeidy I law of total probe 0 Pr Xd Pr XcY Y

r.ve's Practice with continuous Total Probability Law of Discrete 2 M D Pray PrfEI ME fPrCE Y g fy g dy Pr E Law of Total Expectation Discrete Continuous k Pr Yek E XlY F x w y fyb dy fE X Y F X E PrCx xH D Prcx Y D xf

393 views • 6 slides
ni Txizx ] " Independence, Continued Example: Max of Two Exponentials Min of n Uniforms

ni Txizx ] " Independence, Continued Example: Max of Two Exponentials Min of n Uniforms

Not Too Different From Discrete... A Note on Independence For continuous RVs, what is weird about the Continuous RVs Continued: Discrete RV: following? X and Y are independent iff for all a , b : Independence, Conditioning, P [ X = a , Y = b ]

373 views • 5 slides
2D Systems Images are outputs of 2D systems Continuous vs. sampled (discrete) images

2D Systems Images are outputs of 2D systems Continuous vs. sampled (discrete) images

2D Systems Images are outputs of 2D systems Continuous vs. sampled (discrete) images 2D discrete (digital) images are sequences which are functions of two integer arguments System input-output relationship 1 Lim, 1990 2D

523 views • 20 slides
Discrete Structures of Computer Science Amanda Watson What is Discrete Mathematics?

Discrete Structures of Computer Science Amanda Watson What is Discrete Mathematics?

Discrete Structures of Computer Science Amanda Watson What is Discrete Mathematics? Discrete Mathematics: part of math devoted to the study of discrete (as opposed to continuous) objects. Examples: integers, steps taken by a computer

353 views • 7 slides
Continuous Improvement Toolkit RAID Log R A I D www. citoolkit .com The Continuous

Continuous Improvement Toolkit RAID Log R A I D www. citoolkit .com The Continuous

Continuous Improvement Toolkit RAID Log R A I D www. citoolkit .com The Continuous Improvement Map Managing Selecting & Decision Making Planning & Project Management* Risk PDPC Daily Planning PERT/CPM Break-even Analysis

850 views • 26 slides
Continuous-time and discrete-time systems Comparison similarities and differences

Continuous-time and discrete-time systems Comparison similarities and differences

Continuous-time and discrete-time systems Comparison similarities and differences Continuous-time systems Discrete-time systems signals = functions signals = sequences ODE:s difference equations Operator: p = d qy ( k ) = y ( k + 1) dt

265 views • 13 slides
Continuous Improvement Toolkit Histogram www. citoolkit .com The Continuous Improvement Map

Continuous Improvement Toolkit Histogram www. citoolkit .com The Continuous Improvement Map

Continuous Improvement Toolkit Histogram www. citoolkit .com The Continuous Improvement Map Managing Selecting & Decision Making Planning & Project Management* Risk PDPC Daily Planning PERT/CPM Break-even Analysis Importance

448 views • 31 slides
Continuous Improvement Toolkit 5S www. citoolkit .com The Continuous Improvement Map Managing

Continuous Improvement Toolkit 5S www. citoolkit .com The Continuous Improvement Map Managing

Continuous Improvement Toolkit 5S www. citoolkit .com The Continuous Improvement Map Managing Selecting & Decision Making Planning & Project Management* Risk PDPC Daily Planning PERT/CPM Break-even Analysis Importance Urgency

1.88k views • 162 slides
"what is the will of the gods?" continuous discrete (closed set) yes or no? how many?

"what is the will of the gods?" continuous discrete (closed set) yes or no? how many?

cleromancy Allison Parrish "what is the will of the gods?" continuous discrete (closed set) yes or no? how many? magic 8 ball It is certain. As I see it, yes. Reply hazy, try again. Don't count on it.

255 views • 22 slides
continuous random variables continuous random variables Discrete random variable: takes values in

continuous random variables continuous random variables Discrete random variable: takes values in

continuous random variables continuous random variables Discrete random variable: takes values in a finite or countable set, e.g. X {1,2, ..., 6} with equal probability X is positive integer i with probability 2 -i Continuous random variable:

464 views • 23 slides
Continuous-Discrete Filtering using the Zakai Equation: Smooth Likelihood Surface Hermann Singer

Continuous-Discrete Filtering using the Zakai Equation: Smooth Likelihood Surface Hermann Singer

Continuous-Discrete Filtering using the Zakai Equation: Smooth Likelihood Surface Hermann Singer Department of Economics FernUniversitt in Hagen Statistische Woche Trier September 2019 October 16, 2019 1/21 Continuous Time State Space

512 views • 23 slides
Continuous Improvement Toolkit Value Stream Mapping www. citoolkit .com The Continuous

Continuous Improvement Toolkit Value Stream Mapping www. citoolkit .com The Continuous

Continuous Improvement Toolkit Value Stream Mapping www. citoolkit .com The Continuous Improvement Map Managing Selecting & Decision Making Planning & Project Management* Risk PDPC Daily Planning PERT/CPM Break-even Analysis

1.45k views • 106 slides

More recommend