Online Utility-based Supervisory Control of Water Recovery Subsystem in ALS systems Sherif Abdelwahed Wu Jian (presenter) Gautam Biswas Institute for Software.

Slides:



Advertisements
Similar presentations
CS 367: Model-Based Reasoning Lecture 2 (01/15/2002)
Advertisements

Supervisory Control of Hybrid Systems Written by X. D. Koutsoukos et al. Presented by Wu, Jian 04/16/2002.
On Map-Matching Vehicle Tracking Data
Model Checker In-The-Loop Flavio Lerda, Edmund M. Clarke Computer Science Department Jim Kapinski, Bruce H. Krogh Electrical & Computer Engineering MURI.
Games & Adversarial Search Chapter 5. Games vs. search problems "Unpredictable" opponent  specifying a move for every possible opponent’s reply. Time.
Games & Adversarial Search
CS 795 – Spring  “Software Systems are increasingly Situated in dynamic, mission critical settings ◦ Operational profile is dynamic, and depends.
 delivers evidence that a solution developed achieves the purpose for which it was designed.  The purpose of evaluation is to demonstrate the utility,
Automatic Verification of Component-Based Real-Time CORBA Applications Gabor Madl Sherif Abdelwahed
Software Quality Ranking: Bringing Order to Software Modules in Testing Fei Xing Michael R. Lyu Ping Guo.
Workshop on HPC in India Grid Middleware for High Performance Computing Sathish Vadhiyar Grid Applications Research Lab (GARL) Supercomputer Education.
Chapter 15 Application of Computer Simulation and Modeling.
A Study of Energy Efficiency Methods for Memory Mao-Yin Wang & Cheng-Wen Wu.
© Part Average Analysis PAA Rev. 2.0 / Basic Methodology P AA.
Kuang-Hao Liu et al Presented by Xin Che 11/18/09.
EG 10111/10112 Introduction to Engineering Copyright © 2009 University of Notre Dame Design optimization: optimization problem and factor of safety (F.O.S.)
GM-CMU Collaborative Research Laboratory Temporal Logics for Analyzing Hybrid Systems Simulation Traces.
Towards Distributed Diagnosis of Complex Physical Systems J. Gandhe Embedded & Hybrid Systems Laboratory, EECS Dept & ISIS, Vanderbilt University Collaborators:
Introduction to Cognitive radios Part two HY 539 Presented by: George Fortetsanakis.
November 21, 2005 Center for Hybrid and Embedded Software Systems Engine Hybrid Model A mean value model of the engine.
Online Utility-based Supervisory Control of WRS in ALS system S. Abdelwahed, J. Wu (presenter) & G. Biswas Switching hybrid automata.
Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking Gabor Madl
Intelligent Agents: an Overview. 2 Definitions Rational behavior: to achieve a goal minimizing the cost and maximizing the satisfaction. Rational agent:
1 Software Testing Techniques CIS 375 Bruce R. Maxim UM-Dearborn.
Introduction to Computer Technology
Introduction to Adaptive Digital Filters Algorithms
Constraints-based Motion Planning for an Automatic, Flexible Laser Scanning Robotized Platform Th. Borangiu, A. Dogar, A. Dumitrache University Politehnica.
Towards a Contract-based Fault-tolerant Scheduling Framework for Distributed Real-time Systems Abhilash Thekkilakattil, Huseyin Aysan and Sasikumar Punnekkat.
A Framework for Distributed Model Predictive Control
Neural Network Based Online Optimal Control of Unknown MIMO Nonaffine Systems with Application to HCCI Engines OBJECTIVES  Develop an optimal control.
Department of Mechanical Engineering The University of Strathclyde, Glasgow Hybrid Systems: Modelling, Analysis and Control Yan Pang Department of Mechanical.
Technical Analysis. Technical analysis of a project idea includes an in depth study of all technical aspects related to Technical analysis of a project.
CS 367: Model-Based Reasoning Lecture 5 (01/29/2002) Gautam Biswas.
1 Distributed and Optimal Motion Planning for Multiple Mobile Robots Yi Guo and Lynne Parker Center for Engineering Science Advanced Research Computer.
Application control chart concepts of designing a pre-alarm system Sheue-Ling Hwang, Jhih-Tsong Lin, Guo-Feng Liang, Yi-Jan Yau, Tzu-Chung Yenn, Chong-Cheng.
Maximum a posteriori sequence estimation using Monte Carlo particle filters S. J. Godsill, A. Doucet, and M. West Annals of the Institute of Statistical.
Control Synthesis and Reconfiguration for Hybrid Systems October 2001 Sherif Abdelwahed ISIS Vanderbilt University.
On Optimization Techniques for the One-Dimensional Seismic Problem M. Argaez¹ J. Gomez¹ J. Islas¹ V. Kreinovich³ C. Quintero ¹ L. Salayandia³ M.C. Villamarin¹.
Conclusions Simulated fMRI phantoms with real motion and realistic susceptibility artifacts have been generated and tested using SPM2. Image distortion.
OPERATING SYSTEMS CS 3530 Summer 2014 Systems and Models Chapter 03.
1 Seema Thakur (st107641) Advisor: Dr. Weerakorn Ongsakul Optimal Generation Scheduling of Cascaded Hydro-thermal and Wind Power Generation By Particle.
Software Engineering Issues Software Engineering Concepts System Specifications Procedural Design Object-Oriented Design System Testing.
Computer Simulation of Networks ECE/CSC 777: Telecommunications Network Design Fall, 2013, Rudra Dutta.
Computer Organization CS224 Fall 2012 Lessons 41 & 42.
Introduction to Artificial Intelligence CS 438 Spring 2008 Today –AIMA, Ch. 3 –Problem Solving Agents State space search –Programming Assignment Thursday.
Intelligent Agents Introduction Rationality Nature of the Environment Structure of Agents Summary.
Search in State Spaces Problem solving as search Search consists of –state space –operators –start state –goal states A Search Tree is an efficient way.
DEPARTMENT/SEMESTER ME VII Sem COURSE NAME Operation Research Manav Rachna College of Engg.
AVTC Model Based Design Curriculum Development Project Parallel Supervisory Control Presenter: Trevor Crain University of Washington.
Lecture Objectives: Define the final project Deliverables and Grading policy Analyze factors that influence accuracy of our modeling study Learn about.
Testing Overview Software Reliability Techniques Testing Concepts CEN 4010 Class 24 – 11/17.
Hop Optimization and Relay Node Selection in Multi-hop Wireless Ad- hoc Networks Xiaohua (Edward) Li Department of Electrical and Computer Engineering.
1 Double-Patterning Aware DSA Template Guided Cut Redistribution for Advanced 1-D Gridded Designs Zhi-Wen Lin and Yao-Wen Chang National Taiwan University.
Control of Dynamic Discrete-Event Systems Lenko Grigorov Master’s Thesis, QU supervisor: Dr. Karen Rudie.
OPERATING SYSTEMS CS 3502 Fall 2017
Reading B. Williams and P. Nayak, “A Reactive Planner for a Model-based Executive,” International Joint Conference on Artificial Intelligence, 1997.
OVERVIEW Impact of Modelling and simulation in Mechatronics system
Software Engineering (CSI 321)
Xiaohua (Edward) Li and Juite Hwu
On Optimization Techniques for the One-Dimensional Seismic Problem
Computer Simulation of Networks
Linear Programming.
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTES
Haskell Tips You can turn any function that takes two inputs into an infix operator: mod 7 3 is the same as 7 `mod` 3 takeWhile returns all initial.
Market-based Dynamic Task Allocation in Mobile Surveillance Systems
Presented By: Darlene Banta
Software Testing.
ICS 353: Design and Analysis of Algorithms
Games & Adversarial Search
Hydrology Modeling in Alaska: Modeling Overview
Presentation transcript:

Online Utility-based Supervisory Control of Water Recovery Subsystem in ALS systems Sherif Abdelwahed Wu Jian (presenter) Gautam Biswas Institute for Software Integrated Systems Vanderbilt University Introduction An online supervisory control scheme for efficient resource management in complex embedded systems, such as the Water Recovery System (WRS) of Advanced Life Support (ALS) Systems. System components and their interactions are modeled as a switching hybrid system automata. Performance specification is represented as a utility function. The maximization of system utilities problem is formulated as a safety control problem. A limited-horizon online supervisory controller is used to achieve the desired specification. The online controller explores a limited region of the state-space of the system at each time step and decides the best action accordingly. The feasibility and accuracy of the online algorithm can be assessed at design time. Model Development The Control Problem Given a switching hybrid system H with state space X and input set R The set point spec. is given as a region X s  X and a set of initial states X o  X The control problem is to derive the system from any state in X o to X s in finite time using finite sequence of inputs In addition the supervisor is required to maintain the system within X s Online Control Approach Selection of the next step is based on a map that defines how close the current state is to X s Controller constructs a tree of all future states up to certain depth. A path that minimizes the distance to X s is traced back to current state and the initial step is selected. Current state Set-point region Minimum distance state Next control input Optimal path KK+1K+N… Simulation Results The figures below (in black lines) show the system performance under the online supervisory control. The figures (in blue dotted lines) show the behavior of the system under online control in the presence of fault. A block in a pipe was introduced at time t = 400 and was isolated at time t = 430. The online controller managed to compensate for the fault by increasing the time spent in the primary. The overall average utility in this case was only 0.93% less than the utility in the nominal situation. Control Structure System performance is captured using a utility function that defines the relative importance of water outflow vs. water quality. The controller is required to maximize the following utility Here K(i) is the water quality and f 3 (i) is the water outflow at time i, S v is the penalty for switching and N is the depth of the exploration tree. WRS MatLab Simulink Model Mathematical Model Real data Simulated data Utility Module RO System Model RO System Input Selection Tree(x(k)) u(k) x(k) x(i) next input Discussion: Performance Evaluation The figures shows the changes in utility and number of explored states/step w.r.t. the exploration depth. Increasing the depth significantly affect the average computational complexity without major change to the overall utility. Acknowledgement This work was supported in part through the NASA-ALS grant NCC and NSF ITR grant CCR Example: Control of Reverse Osmosis Subsystems of WRS, and simulation results can be found at bottom right