on maximal permissiveness in partially observed discrete
play

On Maximal Permissiveness in Partially-Observed Discrete Event - PowerPoint PPT Presentation

Aug 13, 2022 β€’203 likes β€’760 views

On Maximal Permissiveness in Partially-Observed Discrete Event Systems: Verification and Synthesis Xiang Yin and Stphane Lafortune EECS Department, University of Michigan 13th WODES, May 30-June 1, 2016 , Xian, China 0/14 X.Yin &

  1. On Maximal Permissiveness in Partially-Observed Discrete Event Systems: Verification and Synthesis Xiang Yin and StΓ©phane Lafortune EECS Department, University of Michigan 13th WODES, May 30-June 1, 2016 , Xi’an, China 0/14 X.Yin & S.Lafortune (UMich) WODES 2016 May 2016

  2. Introduction Control Engineering Perspective 2 3 𝑑 0 4 1 5 Plant G 𝑄 𝑇(𝑑) β†’ Ξ“ βˆ— 𝑇: 𝐹 𝑝 𝑄(𝑑) Supervisor β€’ 𝐹 = 𝐹 𝑑 βˆͺ 𝐹 𝑣𝑑 = 𝐹 𝑝 βˆͺ 𝐹 𝑣𝑝 βˆ— β†’ 2 E ; Disable events in 𝐹 𝑑 based on its observations β€’ Supervisor: 𝑇: 𝐹 𝑝 β€’ Closed-loop Behavior: 𝑀(𝑇/𝐻) 1/14 X.Yin & S.Lafortune (UMich) WODES 2016 May 2016

  3. Introduction β€’ 𝐻 = (π‘Œ, 𝐹, 𝑔, 𝑦 0 ) is a deterministic FSA - π‘Œ is the finite set of states - 𝐹 is the finite set of events - 𝑔: π‘Œ Γ— 𝐹 β†’ π‘Œ is the partial transition function - 𝑦 0 is the initial state β€’ Safety specification automaton: 𝑀 𝐼 βŠ† 𝑀 (𝐻) 2/14 X.Yin & S.Lafortune (UMich) WODES 2016 May 2016

  4. Introduction β€’ 𝐻 = (π‘Œ, 𝐹, 𝑔, 𝑦 0 ) is a deterministic FSA - π‘Œ is the finite set of states - 𝐹 is the finite set of events - 𝑔: π‘Œ Γ— 𝐹 β†’ π‘Œ is the partial transition function - 𝑦 0 is the initial state β€’ Safety specification automaton: 𝑀 𝐼 βŠ† 𝑀 (𝐻) βˆ— β†’ 2 𝐹 is We say that a supervisor 𝑇: 𝐹 𝑝 - Safe, if 𝑀(𝑇/𝐻) βŠ† 𝑀(𝐼) - Maximally Permissive , if for any safe supervisor 𝑇′ , we have 𝑀(𝑇/𝐻) βŠ„ 𝑀(𝑇′/𝐻) . 2/14 X.Yin & S.Lafortune (UMich) WODES 2016 May 2016

  5. Introduction β€’ 𝐻 = (π‘Œ, 𝐹, 𝑔, 𝑦 0 ) is a deterministic FSA - π‘Œ is the finite set of states - 𝐹 is the finite set of events - 𝑔: π‘Œ Γ— 𝐹 β†’ π‘Œ is the partial transition function - 𝑦 0 is the initial state β€’ Safety specification automaton: 𝑀 𝐼 βŠ† 𝑀 (𝐻) βˆ— β†’ 2 𝐹 is We say that a supervisor 𝑇: 𝐹 𝑝 - Safe, if 𝑀(𝑇/𝐻) βŠ† 𝑀(𝐼) - Maximally Permissive , if for any safe supervisor 𝑇′ , we have 𝑀(𝑇/𝐻) βŠ„ 𝑀(𝑇′/𝐻) . 𝑀(𝐼) 𝑁𝑏𝑦 1 𝑁𝑏𝑦 2 𝑀(𝐻) 2/14 X.Yin & S.Lafortune (UMich) WODES 2016 May 2016

  6. Literature Review β€’ F. Lin, and W. M. Wonham. "On observability of discrete-event systems." Inform. Sci., 44.3 (1988): 173- 198. β€’ R. Cieslak, et al. "Supervisory control of discrete-event processes with partial observations." IEEE Transactions on Automatic Control, 33.3 (1988): 249-260. - Supremal normal and controllable solution 3/14 X.Yin & S.Lafortune (UMich) WODES 2016 May 2016

  7. Literature Review β€’ F. Lin, and W. M. Wonham. "On observability of discrete-event systems." Inform. Sci., 44.3 (1988): 173- 198. β€’ R. Cieslak, et al. "Supervisory control of discrete-event processes with partial observations." IEEE Transactions on Automatic Control, 33.3 (1988): 249-260. β€’ S. Takai, and T. Ushio. "Effective computation of an β„’ 𝑛 (𝐻) -closed, controllable, and observable sublanguage arising in supervisory control." Sys. Cont. Let. 49.3 (2003): 191-200. β€’ K. Cai, R. Zhang, and W. M. Wonham. "Relative observability of discrete-event Systems and its supremal sublanguages." IEEE Trans. Automatic Control, 60.3 (2015): 659-670. - Supremal normal and controllable solution - Solutions larger than supremal normal and controllable solution 3/14 X.Yin & S.Lafortune (UMich) WODES 2016 May 2016

  8. Literature Review β€’ F. Lin, and W. M. Wonham. "On observability of discrete-event systems." Inform. Sci., 44.3 (1988): 173- 198. β€’ R. Cieslak, et al. "Supervisory control of discrete-event processes with partial observations." IEEE Transactions on Automatic Control, 33.3 (1988): 249-260. β€’ S. Takai, and T. Ushio. "Effective computation of an β„’ 𝑛 (𝐻) -closed, controllable, and observable sublanguage arising in supervisory control." Sys. Cont. Let. 49.3 (2003): 191-200. β€’ K. Cai, R. Zhang, and W. M. Wonham. "Relative observability of discrete-event Systems and its supremal sublanguages." IEEE Trans. Automatic Control, 60.3 (2015): 659-670. - Supremal normal and controllable solution - Solutions larger than supremal normal and controllable solution - These solutions are sound but not complete 3/14 X.Yin & S.Lafortune (UMich) WODES 2016 May 2016

  9. Literature Review β€’ F. Lin, and W. M. Wonham. "On observability of discrete-event systems." Inform. Sci., 44.3 (1988): 173- 198. β€’ R. Cieslak, et al. "Supervisory control of discrete-event processes with partial observations." IEEE Transactions on Automatic Control, 33.3 (1988): 249-260. β€’ S. Takai, and T. Ushio. "Effective computation of an β„’ 𝑛 (𝐻) -closed, controllable, and observable sublanguage arising in supervisory control." Sys. Cont. Let. 49.3 (2003): 191-200. β€’ K. Cai, R. Zhang, and W. M. Wonham. "Relative observability of discrete-event Systems and its supremal sublanguages." IEEE Trans. Automatic Control, 60.3 (2015): 659-670. - Supremal normal and controllable solution - Solutions larger than supremal normal and controllable solution - These solutions are sound but not complete β€’ N. Ben Hadj-Alouane, S. Lafortune, and F. Lin. "Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation." Discrete Event Dynamic Systems 6.4 (1996): 379-427. β€’ X. Yin and S. Lafortune. "Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems." IEEE Trans. Automatic Control, 61.5 (2016): 1239-1254. - Solutions are both sound and complete - A certain class of maximal policies 3/14 X.Yin & S.Lafortune (UMich) WODES 2016 May 2016

  10. Literature Review β€’ F. Lin, and W. M. Wonham. "On observability of discrete-event systems." Inform. Sci., 44.3 (1988): 173- 198. β€’ R. Cieslak, et al. "Supervisory control of discrete-event processes with partial observations." IEEE Transactions on Automatic Control, 33.3 (1988): 249-260. β€’ S. Takai, and T. Ushio. "Effective computation of an β„’ 𝑛 (𝐻) -closed, controllable, and observable sublanguage arising in supervisory control." Sys. Cont. Let. 49.3 (2003): 191-200. β€’ K. Cai, R. Zhang, and W. M. Wonham. "Relative observability of discrete-event Systems and its supremal sublanguages." IEEE Trans. Automatic Control, 60.3 (2015): 659-670. - Supremal normal and controllable solution - Solutions larger than supremal normal and controllable solution - These solutions are sound but not complete β€’ N. Ben Hadj-Alouane, S. Lafortune, and F. Lin. "Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation." Discrete Event Dynamic Systems 6.4 (1996): 379-427. β€’ X. Yin and S. Lafortune. "Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems." IEEE Trans. Automatic Control, 61.5 (2016): 1239-1254. - Solutions are both sound and complete - A certain class of maximal policies 𝑀(𝐼) 𝑁𝑏𝑦 3/14 X.Yin & S.Lafortune (UMich) WODES 2016 May 2016

  11. Problem Formulation β€’ Supervisor Verification Problem. βˆ— β†’ , 2 𝐹 , verify whether or not 𝑇 𝑆 is maximal. Given a safe supervisor 𝑇 𝑆 : 𝐹 𝑝 4/14 X.Yin & S.Lafortune (UMich) WODES 2016 May 2016

  12. Problem Formulation β€’ Supervisor Verification Problem. βˆ— β†’ , 2 𝐹 , verify whether or not 𝑇 𝑆 is maximal. Given a safe supervisor 𝑇 𝑆 : 𝐹 𝑝 β€’ Supervisor Synthesis Problem. βˆ— β†’ 2 𝐹 , find a safe supervisor 𝑇 Given a non-maximal safe supervisor 𝑇 𝑆 : 𝐹 𝑝 such that 𝑀 𝑇 𝑆 /𝐻 βŠ‚ 𝑀 𝑇/𝐻 . 4/14 X.Yin & S.Lafortune (UMich) WODES 2016 May 2016

  13. Problem Formulation β€’ Supervisor Verification Problem. βˆ— β†’ , 2 𝐹 , verify whether or not 𝑇 𝑆 is maximal. Given a safe supervisor 𝑇 𝑆 : 𝐹 𝑝 β€’ Supervisor Synthesis Problem. βˆ— β†’ 2 𝐹 , find a safe supervisor 𝑇 Given a non-maximal safe supervisor 𝑇 𝑆 : 𝐹 𝑝 such that 𝑀 𝑇 𝑆 /𝐻 βŠ‚ 𝑀 𝑇/𝐻 . Motivation: Lower bound behavior 𝑀 𝑠 β€’ ↓𝑫𝑷 , the infimal controllable and observable super-language β€’ 𝑴(𝑻 𝑺 /𝑯) = 𝑴 𝒔 Achieve both the lower bound and permissiveness β€’ 4/14 X.Yin & S.Lafortune (UMich) WODES 2016 May 2016

  14. Bipartite Transition System Information State : a set of states, 𝐽 ≔ 2 π‘Œ β€’ β€’ BTS: A bipartite transition system T w.r.t. G is a 7-tuple π‘ˆ , β„Ž π‘Žπ‘ π‘ˆ , 𝐹, Ξ“, 𝑧 0 π‘ˆ , 𝑅 π‘Ž π‘ˆ , β„Ž π‘π‘Ž ) π‘ˆ = (𝑅 𝑍 where π‘ˆ βŠ† 𝐽 is the set of Y-states; - 𝑅 𝑍 π‘ˆ βŠ† 𝐽 Γ— Ξ“ is the set of Z-states so that z = (𝐽 𝑨 , Ξ“ 𝑨 ) ; - 𝑅 π‘Ž π‘ˆ : 𝑅 𝑍 π‘ˆ Γ— Ξ“ β†’ Q π‘Ž π‘ˆ represents the unobservable reach; - β„Ž π‘π‘Ž π‘ˆ : 𝑅 π‘Ž π‘ˆ Γ— E β†’ Q 𝑍 π‘ˆ represents the observation transition; - β„Ž π‘Žπ‘ 0 0 𝑏 𝑐 𝑑 1 * + 𝑏 𝑐 𝑐 𝑏 3 1 4 3 0 , * + 4 𝑑 2 𝑑 1 𝑑 1 𝑑 2 *𝑑 1 + *𝑑 2 + 5 7 6 𝑑 2 𝑑 1 3,5 , *𝑑 1 + 3,6 , *𝑑 2 + 𝑼 𝑺 𝐹 𝑑 = 𝑑 1 , 𝑑 2 , 𝐹 𝑝 = *𝑏, 𝑐+ 5/14 X.Yin & S.Lafortune (UMich) WODES 2016 May 2016

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 General Approach for Synthesis of Supervisors for Partially-Observed Discrete-Event Systems

A General Approach for Synthesis of Supervisors for Partially-Observed Discrete-Event Systems

A General Approach for Synthesis of Supervisors for Partially-Observed Discrete-Event Systems Xiang Yin and Stphane Lafortune EECS Department, University of Michigan 19th IFAC WC, August 24-29, 2014, Cape Town, South Africa 1/18 X.Yin &

1.02k views β€’ 47 slides
Probabilistic Graphical Models 10-708 Learning Partially Observed Learning Partially Observed

Probabilistic Graphical Models 10-708 Learning Partially Observed Learning Partially Observed

Probabilistic Graphical Models 10-708 Learning Partially Observed Learning Partially Observed Graphical Models Graphical Models Eric Xing Eric Xing Lecture 13, Oct 26, 2005 Reading: MJ-Chap. 5,10,11 Partially observed GMs Speech

555 views β€’ 16 slides
Model reduction of partially-observed Motivation stochastic differential equations A control

Model reduction of partially-observed Motivation stochastic differential equations A control

Model reduction of partially-observed Motivation stochastic differential equations A control problem Partially- observed Langevin Carsten Hartmann (Matheon Research Center, FU Berlin) equation Examples joint work with Christof Sch utte

409 views β€’ 23 slides
Partially observed GMs Speech recognition Y 1 Y 2 Y 3 Y T ... X 1 A X 2 A X 3 A ... X T A

Partially observed GMs Speech recognition Y 1 Y 2 Y 3 Y T ... X 1 A X 2 A X 3 A ... X T A

School of Computer Science Learning Partially Observed GM: the Expectation-Maximization algorithm Probabilistic Graphical Models (10- Probabilistic Graphical Models (10 -708) 708) Lecture 11, Oct 22, 2007 Receptor A Receptor A Receptor

315 views β€’ 18 slides
Approximate information state for partially observed systems Jayakumar Subramanian and Aditya

Approximate information state for partially observed systems Jayakumar Subramanian and Aditya

Approximate information state for partially observed systems Jayakumar Subramanian and Aditya Mahajan McGill University Thanks to Amit Sinha and Raihan Seraj for simulation results IEEE Conference on Decision and Control 11 December 2019

1k views β€’ 72 slides
Model Uncertainty Quantification for Data Assimilation in partially observed Lorenz 96 Sahani

Model Uncertainty Quantification for Data Assimilation in partially observed Lorenz 96 Sahani

Model Uncertainty Quantification for Data Assimilation in partially observed Lorenz 96 Sahani Pathiraja, Peter Jan Van Leeuwen Institut f ur Mathematik Universit at Potsdam With thanks: Sebastian Reich, Georg Gottwald Motivation

487 views β€’ 33 slides
Collective Traffic Prediction with Partially Observed Traffic History using Location-Based Social

Collective Traffic Prediction with Partially Observed Traffic History using Location-Based Social

Motivation Related Works CTP Method Experiments Summary Collective Traffic Prediction with Partially Observed Traffic History using Location-Based Social Media Xinyue Liu, Xiangnan Kong, Yanhua Li Worcester Polytechnic Institute February

459 views β€’ 34 slides
Definability of maximal discrete sets David Schrittesser University of Copenhagen (Denmark)

Definability of maximal discrete sets David Schrittesser University of Copenhagen (Denmark)

Definability of maximal discrete sets David Schrittesser University of Copenhagen (Denmark) Arctic Set Theory 3, Kilpisjrvi January 28, 2017 Schrittesser (Copenhagen) Definability of maximal discrete sets Arctic Set Theory 3 1 / 25

1.4k views β€’ 127 slides
Learning to Randomize and Remember in Partially-Observed Environments Radford M. Neal, University

Learning to Randomize and Remember in Partially-Observed Environments Radford M. Neal, University

Learning to Randomize and Remember in Partially-Observed Environments Radford M. Neal, University of Toronto Dept. of Statistical Sciences and Dept. of Computer Science http://www.cs.utoronto.ca/ radford Fields Institute Workshop on Big Data

862 views β€’ 34 slides
Bayesian inference for partially observed Markov processes, with application to systems biology

Bayesian inference for partially observed Markov processes, with application to systems biology

Stochastic modelling of dynamical systems Bayesian inference Particle MCMC Summary and conclusions Bayesian inference for partially observed Markov processes, with application to systems biology Darren Wilkinson http://tinyurl.com/darrenjw

324 views β€’ 30 slides
A coalgebraic approach to supervisory control of partially observed Mealy automata Jun Kohjina 1 ,

A coalgebraic approach to supervisory control of partially observed Mealy automata Jun Kohjina 1 ,

Introduction Supervisory control Coalgebraic formulation Solution to the problem Conclusion A coalgebraic approach to supervisory control of partially observed Mealy automata Jun Kohjina 1 , Toshimitsu Ushio 1 , Yoshiki Kinoshita 2 1 Graduate

559 views β€’ 20 slides
Multivariate and Partially observed models Erik Lindstrm n T Briefly on multivariate models N

Multivariate and Partially observed models Erik Lindstrm n T Briefly on multivariate models N

Multivariate and Partially observed models Erik Lindstrm n T Briefly on multivariate models N n 1 n 1 N (2) 1 n X n X T 1 n 1 n Consider the Vector-AR(1) (VAR) process. 1 X T X n 1 n 1 N A Matrix Cookbook] Leads to Writing

725 views β€’ 59 slides
Modeling Networks from Partially-Observed Network Data Mark S. Handcock University of Washington

Modeling Networks from Partially-Observed Network Data Mark S. Handcock University of Washington

Modeling Networks from Partially-Observed Network Data Mark S. Handcock University of Washington joint work with Krista J. Gile Nuffield College, Oxford MURI-UCI April 24, 2009 For details, see: Gile, K. and Handcock, M.S. (2006).

781 views β€’ 66 slides
Estimating the Size of Hidden Populations based on Partially-Observed Network Data Mark S.

Estimating the Size of Hidden Populations based on Partially-Observed Network Data Mark S.

Estimating the Size of Hidden Populations based on Partially-Observed Network Data Mark S. Handcock Krista J. Gile Department of Statistics Department of Mathematics University of California University of Massachusetts - Los Angeles -

776 views β€’ 55 slides
On estimation for the fractional Ornstein-Uhlembeck process observed at discrete time Stefano M.

On estimation for the fractional Ornstein-Uhlembeck process observed at discrete time Stefano M.

On estimation for the fractional Ornstein-Uhlembeck process observed at discrete time Stefano M. Iacus Department of Economics, Management and Quantitative Methods University of Milan & Core Team joint work with A. Brouste (Univ. Le

552 views β€’ 33 slides
Multi-resolution Inference of Stochastic Models from Partially Observed Data Samuel Kou

Multi-resolution Inference of Stochastic Models from Partially Observed Data Samuel Kou

Multi-resolution Inference of Stochastic Models from Partially Observed Data Samuel Kou Department of Statistics Harvard University Joint with Ben Olding Stochastic Differential Equations n Models based on stochastic differential equations

579 views β€’ 39 slides
Who, What, Where, Why, and How Synchron'08 Aussois Mouaiad ALRAS December 2008 Who LIG,

Who, What, Where, Why, and How Synchron'08 Aussois Mouaiad ALRAS December 2008 Who LIG,

Model-Based Design of Embedded Control Systems with a Synchronous Intermediate Model Who, What, Where, Why, and How Synchron'08 Aussois Mouaiad ALRAS December 2008 Who LIG, POPART Where Alain GIRAULT What Why How Mouaiad ALRAS Whole

400 views β€’ 23 slides
AutoBAHN Provisioning guaranteed capacity circuits across networks Afrodite Sevasti, GRNET 1 st

AutoBAHN Provisioning guaranteed capacity circuits across networks Afrodite Sevasti, GRNET 1 st

Connect. Communicate. Collaborate AutoBAHN Provisioning guaranteed capacity circuits across networks Afrodite Sevasti, GRNET 1 st End-to-end workshop: Establishing lightpaths 1-2 December 2008, TERENA, Amsterdam AutoBAHN is Connect.

821 views β€’ 37 slides
Human-Computer Interaction 16. Expert Evaluation Recap: Think Aloud Ask the user to Think Aloud

Human-Computer Interaction 16. Expert Evaluation Recap: Think Aloud Ask the user to Think Aloud

Human-Computer Interaction 16. Expert Evaluation Recap: Think Aloud Ask the user to Think Aloud while performing tasks on a system. You watch and learn how the user thinks about the task and where the user has problems using it. Observers

776 views β€’ 52 slides
Evolution of Test Automation State Driven Testing Jan De Coster November, 2011 Why test

Evolution of Test Automation State Driven Testing Jan De Coster November, 2011 Why test

Evolution of Test Automation State Driven Testing Jan De Coster November, 2011 Why test automation? Use computers to replace expensive manual testing Cant do it all manually Coverage of functionality Coverage of platforms

613 views β€’ 20 slides
Automatic Train Control Hoang Nga Nguyen Department of Computer Science Swansea University

Automatic Train Control Hoang Nga Nguyen Department of Computer Science Swansea University

Automatic Train Control Hoang Nga Nguyen Department of Computer Science Swansea University October, 2011 Outline Introduction Historical systems Train protection and warning systems Automatic Train Protection ATO and ATS

260 views β€’ 14 slides
SPECIMeN Group Sensing strategies, Perception and Characterization at Micro- and Nano-scales AS2M

SPECIMeN Group Sensing strategies, Perception and Characterization at Micro- and Nano-scales AS2M

Last edition: 2013-05-15 SPECIMeN Group Sensing strategies, Perception and Characterization at Micro- and Nano-scales AS2M Dep t Automatic Control and Micro-Mechatronic Systems

195 views β€’ 3 slides
Guided by Time-varying Tensor Fields Kai Xu, Lintao Zheng , Zihao Yan, Guohang Yan, Eugene

Guided by Time-varying Tensor Fields Kai Xu, Lintao Zheng , Zihao Yan, Guohang Yan, Eugene

Autonomous Reconstruction of Unknown Indoor Scenes Guided by Time-varying Tensor Fields Kai Xu, Lintao Zheng , Zihao Yan, Guohang Yan, Eugene Zhang, Matthias Niessner, Oliver Deussen, Daniel Cohen-Or, Hui Huang Shenzhen University National

529 views β€’ 48 slides
What is the best place to be? Location optimization with R and Google Maps Bartosz Czernecki

What is the best place to be? Location optimization with R and Google Maps Bartosz Czernecki

Department of Climatology | Faculty of Geosciences What is the best place to be? Location optimization with R and Google Maps Bartosz Czernecki [1][3] Jakub Nowosad [2][3] [1] Faculty of Geosciences Adam Mickiewicz University in Pozna,

432 views β€’ 16 slides

More recommend