Control-Theoretic Approaches for Dynamic Information Assurance George Vachtsevanos Georgia Tech Working Meeting U. C. Berkeley February 5, 2003.

Slides:



Advertisements
Similar presentations
IMA 2.5: Software Architecture and Development Environment Roberto Olivares M.S. Electrical Engineering Vanderbilt University, Spring 2003.
Advertisements

Pat Langley Computational Learning Laboratory Center for the Study of Language and Information Stanford University, Stanford, California
Modelling with expert systems. Expert systems Modelling with expert systems Coaching modelling with expert systems Advantages and limitations of modelling.
Distributed Systems Major Design Issues Presented by: Christopher Hector CS8320 – Advanced Operating Systems Spring 2007 – Section 2.6 Presentation Dr.
Some questions o What are the appropriate control philosophies for Complex Manufacturing systems? Why????Holonic Manufacturing system o Is Object -Oriented.
Net-Centric Software and Systems I/UCRC Copyright © 2011 NSF Net-Centric I/UCRC. All Rights Reserved. High-Confidence SLA Assurance for Cloud Computing.
High-confidence Software for Cyber Physical Systems Drexel University Philadephia, PA Vanderbilt University Nashville, Tennessee Aniruddha Gokhale *, Sherif.
P. Albertos* & A. Crespo + Universidad Politécnica de Valencia * Dept. of Systems Engineering and Control, + Dept. of Computer Engineering POB E
ICT 1 “Putting Context in Context: The Role and Design of Context Management in a Mobility and Adaptation Enabling Middleware” Marius Mikalsen Research.
Software Engineering for Real- Time: A Roadmap H. Kopetz. Technische Universitat Wien, Austria Presented by Wing Kit Hor.
Software Testing and Quality Assurance
Agent Mediated Grid Services in e-Learning Chun Yan, Miao School of Computer Engineering Nanyang Technological University (NTU) Singapore April,
Report on Intrusion Detection and Data Fusion By Ganesh Godavari.
Causality Interface  Declares the dependency that output events have on input events.  D is an ordered set associated with the min ( ) and plus ( ) operators.
Experiences with an Architecture for Intelligent Reactive Agents By R. Peter Bonasso, R. James Firby, Erann Gat, David Kortenkamp, David P Miller, Marc.
Quality of Service in IN-home digital networks Alina Albu 23 October 2003.
Provisional draft 1 ICT Work Programme Challenge 2 Cognition, Interaction, Robotics NCP meeting 19 October 2006, Brussels Colette Maloney, PhD.
CprE 458/558: Real-Time Systems
Collaborative Reinforcement Learning Presented by Dr. Ying Lu.
1 FM Overview of Adaptation. 2 FM RAPIDware: Component-Based Design of Adaptive and Dependable Middleware Project Investigators: Philip McKinley, Kurt.
FAULT PROGNOSIS USING DYNAMIC WAVELET NEURAL NETWORKS P. Wang G. Vachtsevanos Georgia Institute of Technology Atlanta, GA 30332
System Integration Management (SIM)
Software Testing and QA Theory and Practice (Chapter 10: Test Generation from FSM Models) © Naik & Tripathy 1 Software Testing and Quality Assurance Theory.
Katanosh Morovat.   This concept is a formal approach for identifying the rules that encapsulate the structure, constraint, and control of the operation.
Distributed Real-Time Systems for the Intelligent Power Grid Prof. Vincenzo Liberatore.
A Pattern for Gradual Transitioning during Dynamic Component Replacement in Extreme Performance UAV Hybrid Control Systems Murat Guler, Linda Wills, Scott.
Tufts Wireless Laboratory School Of Engineering Tufts University “Network QoS Management in Cyber-Physical Systems” Nicole Ng 9/16/20151 by Feng Xia, Longhua.
European Network of Excellence in AI Planning Intelligent Planning & Scheduling An Innovative Software Technology Susanne Biundo.
Active Monitoring in GRID environments using Mobile Agent technology Orazio Tomarchio Andrea Calvagna Dipartimento di Ingegneria Informatica e delle Telecomunicazioni.
© 2007 Tom Beckman Features:  Are autonomous software entities that act as a user’s assistant to perform discrete tasks, simplifying or completely automating.
Cluster Reliability Project ISIS Vanderbilt University.
What is a Business Analyst? A Business Analyst is someone who works as a liaison among stakeholders in order to elicit, analyze, communicate and validate.
Improved Human-Robot Team performance using Chaski Proceeding: HRI '11HRI '11 Proceedings of the 6th international conference on Human-robot interaction.
The roots of innovation Future and Emerging Technologies (FET) Future and Emerging Technologies (FET) The roots of innovation Proactive initiative on:
1 Introduction to Software Engineering Lecture 1.
Class 5 Architecture-Based Self-Healing Systems David Garlan Carnegie Mellon University.
MURI: Integrated Fusion, Performance Prediction, and Sensor Management for Automatic Target Exploitation 1 Dynamic Sensor Resource Management for ATE MURI.
1 ACTIVE FAULT TOLERANT SYSTEM for OPEN DISTRIBUTED COMPUTING (Autonomic and Trusted Computing 2006) Giray Kömürcü.
A Context Model based on Ontological Languages: a Proposal for Information Visualization School of Informatics Castilla-La Mancha University Ramón Hervás.
Job scheduling algorithm based on Berger model in cloud environment Advances in Engineering Software (2011) Baomin Xu,Chunyan Zhao,Enzhao Hua,Bin Hu 2013/1/251.
Department of Electronic Engineering Challenges & Proposals INFSO Information Day e-Infrastructure Grid Initiatives 26/27 May.
DARPA ITO/MARS Project Update Vanderbilt University A Software Architecture and Tools for Autonomous Robots that Learn on Mission K. Kawamura, M. Wilkes,
FDT Foil no 1 On Methodology from Domain to System Descriptions by Rolv Bræk NTNU Workshop on Philosophy and Applicablitiy of Formal Languages Geneve 15.
CprE 458/558: Real-Time Systems
1 Run-Time Software Engineering An approach for Embedded and Ubiquitous Computing Environments Sooyong Park Sogang University South.
Intelligent Systems Software Assurance Symposium 2004 Bojan Cukic & Yan Liu, Robyn Lutz & Stacy Nelson, Chris Rouff, Johann Schumann, Margaret Smith July.
CGI3: Current Status Common Goals and Infrastructures CGI3: Infrastructure Jonas Mellin.
1 Earth Science Technology Office The Earth Science (ES) Vision: An intelligent Web of Sensors IGARSS 2002 Paper 02_06_08:20 Eduardo Torres-Martinez –
Internet of Things. IoT Novel paradigm – Rapidly gaining ground in the wireless scenario Basic idea – Pervasive presence around us a variety of things.
SelfCon Foil no 1 Variability in Self-Adaptive Systems.
Self-Organizing Architectures SOAR 2010 International Conference on Autonomic Computing and Communication, ICAC Washington DC, USA June 7, 2010.
Self-Adaptive Embedded Technologies for Pervasive Computing Architectures Self-Adaptive Networked Entities Concept, Implementations,
RULES Patty Nordstrom Hien Nguyen. "Cognitive Skills are Realized by Production Rules"
1 Architecture and Behavioral Model for Future Cognitive Heterogeneous Networks Advisor: Wei-Yeh Chen Student: Long-Chong Hung G. Chen, Y. Zhang, M. Song,
Euro-Par, HASTE: An Adaptive Middleware for Supporting Time-Critical Event Handling in Distributed Environments ICAC 2008 Conference June 2 nd,
Best detection scheme achieves 100% hit detection with
Atos, Atos and fish symbol, Atos Origin and fish symbol, Atos Consulting, and the fish symbol itself are registered trademarks of Atos Origin SA. June.
XFEL The European X-Ray Laser Project X-Ray Free-Electron Laser Wojciech Jalmuzna, Technical University of Lodz, Department of Microelectronics and Computer.
September 2003, 7 th EDG Conference, Heidelberg – Roberta Faggian, CERN/IT CERN – European Organization for Nuclear Research The GRACE Project GRid enabled.
ML in the Routers: Learn from and Act on Network Traffic Bing ietf95, April
EXPERT SYSTEMS.
Georgia Institute of Technology PHM17 Conference
MANAGING KNOWLEDGE FOR THE DIGITAL FIRM
Computational Elements of Robust Civil Infrastructure
Assoc. Prof. Dr. Syed Abdul-Rahman Al-Haddad
Utility-Function based Resource Allocation for Adaptable Applications in Dynamic, Distributed Real-Time Systems Presenter: David Fleeman {
Presented By: Darlene Banta
Self-Managed Systems: an Architectural Challenge
Software Development Process Using UML Recap
Presentation Title September 22, 2019
Presentation transcript:

Control-Theoretic Approaches for Dynamic Information Assurance George Vachtsevanos Georgia Tech Working Meeting U. C. Berkeley February 5, 2003

2 The Information Assurance – Software Architecture Connection  Dynamic information assurance will require models of computation that  Can direct the behavior of intelligent controller components, route/re-route and blend signals  Specify and validate strategies that involve real-time Q◦S parameters and fault-tolerant constraints  timed multitasking domains  Can support reconfiguration strategies involving transient compensation (control) and dynamic transitions

3  Can monitor status of configuration changes and globally coordinate them  Can handle unexpected conditions (large-grain disturbances, pop-up targets, etc.) that may arise during a transition; interrupt and safely back-out of a transition *”Smart” models of computation are required to support concepts and models of information assurance.

4 Q◦S Controller Communicates with sensor client, i.e. system controller, diagnostic routines, system status, etc. Measures on-line available bandwidth and other performance measures and executes Q◦S algorithm Q S Controller NETWORK OF SENSORS SYSTEM CONTROLLER/ DIAGNOSTICIAN feedback client Q◦S Controller :

5 Dynamic Q◦S Control N i (q) - bandwidth required by application (constraints) N imax (t) - available bandwidth at time t q(t) - vector of sampling rates, bits-per-pixel, etc. - sensor control F(q) - user satisfaction function ADAPTIVE NEURAL NET F (q) S (Q) S(N imax -N i (q)) N i (q) F min + - N imax (t)

6 CONTENTION FOR SHARED RESOURCES REAL-TIME RESPONSIVENESS DEPENDABILITY PRECISION QUALITY OF RESULTS MODIFY / RECONFIGURE / RESCHEDULE RESOURCES  BANDWIDTH  DYNAMIC SCHEDULING  FAULT TOLERANCE  RECONFIGURATION  OTHERS CRITICAL APPLICATIONS Q◦S MECHANISM FAILURES DYNAMIC WORKLOADS PERFORMANCE ASSESSMENT IDENTIFY / PREDICT DISTURBANCES

7 Sensors 101 Raw data  Information  Knowledge  What kind of data?  What type of sensors?  How many?  Where do we place them? NSF/Other supported activities

8 On the Concept of “Fusion”  Sensor Fusion –Data Fusion –Feature Fusion –Sensor Fusion –Report Fusion  Knowledge Fusion

9 Sensor Fusion (or Integration) Objective: Optimize performance of information gathering process Intelligent sensor and knowledge fusion algorithms based on focus of attention via active perception and Dempster-Shafer theory Sensor integration at various levels of abstraction - the data, feature, sensor and report levels Distinguishability and effectiveness measures defined to guide the sensor integration task Off-line and on-line learning techniques for effective data combination

10 Optimum Sensor Placement Strategies Traditional vs. proposed procedure Model Figure-of-Merit Selection Optimization Fig. 2a: Traditional sensor placement procedure. Model Figure-of-Merit Selection Optimization Fig. 2b: Proposed sensor placement procedure. Performance Assessment FMECA

11 The Value of Information Question: How do we assess the value of information? How do we maximize it?  Metrics  Optimization techniques  Control-theoretic concepts Examples from diagnosis/prognosis, control, alarming, etc.

12 Active Diagnosis Extends the offline ideas of “Probing” or “Testing” It is biased to monitor normal conditions Active Diagnosis Monitors consistency among data Active Diagnosis of DES - A Design Time Approach –the system itself is not diagnosable –design a controller called “Diagnostic Controller” that will make the system diagnosable Active Diagnosis Possibilities: –Inline with Intelligent Agent paradigm –Collaboration in Multiagent Systems can be directed to achieve Active Diagnosis

13 Active vs. Passive Diagnosis Passive Diagnosis:  Diagnoser FSM that monitors events and sensors to generate diagnosis.  A Diagnosable Plant generates a language from which unobservable failure conditions can be uniquely inferred by the Diagnoser FSM. Design-Time Active Diagnosis:  Design a controller that will make an otherwise “non-diagnosable” plant generate a language that is diagnosable.

14 Active Diagnosis - Agent Perspective Given an anomalous situation, Diagnostic Agent Plans, Learns, and Coordinates. –Learning takes place between distributed agents that share their experiences –Coordination helps search, retrieval, adapting activities –Planning is required to determine if learning and coordination is possible in the given expected time-to-failure condition “Run-time” Active Diagnosis –non-intrusive –autonomous and rational

15 Information Assurance Enabling Technologies:  Sensor Fusion  Data Validation  Q◦S methods  Performance metrics