Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers
|
|
- Brooke Davidson
- 5 years ago
- Views:
Transcription
1 Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers Research in Quantum Enabled V&V Technology July 12-14, 2016 Chris Elliott Flight Controls / Quantum Computing
2 Overview I. Quantum Enabled V&V Overview II. Overview of 10 V&V Challenge Problems III. End to End Analysis Example IV. Summary 2
3 Quantum Enabled V&V What is it? QVTrace*: This technology is a method for Software Verification & Validation using Quantum Computer Assisted Formal Methods. Requirements And Implementation (Software Code) Quantum V&V Classical Computation Defects (Bugs) Req/Code Inconsistency Report to Designer D-Wave Adiabatic Quantum Computer Who will use it? Target Users are System/Software Design Teams interested in: - Reducing development costs - Improving final product quality *Product Developed by QRA Inc. 3
4 D-Wave Adiabatic Quantum Computer Current State-of-the-Art, DW-2X: 1152q Washington LM QA Solves a Quadratic Unconstrained Binary Optimization Problem 4
5 Quantum Optimization with Superconducting Qubits Quantum Superposition, Entanglement Enable Unique Optimization 5
6 QE-V&V Timeline Nov 2010 Early Access To QC Mar 2011 USC/ISI/LM Team for QC Center March 2016 QC Upgrade 1152 q DW2X Washington Early 2010 LM ID s Quantum as Key Tech Jan 2012 USC-LM QC Operational Mar 2013 QC Upgrade 128 q DW1 Rainier 512 q DW2 Vesuvius 6
7 Overview of Challenge Problems LM Aero Developed Set of 10 V&V Challenge Problems Goal: - Foster Collaboration in S5 Community (Ponder, Present, Publish) - Evaluate & Improve State-of-the-Art Formal Methods Toolsets Each Example in Package Includes: - Simulink Model Built in Matlab R2012B - Parameters, if any, for Simulating Model (.mat) - Documentation Containing Description and Requirements Difficult due to Transcendental Functions, Nonlinearities and Discontinuous Math, Vectors, Matrices, States Challenges Built with Commonly Used Blocks 7
8 Overview of Challenge Problems 1. Triplex Signal Monitor 2. Finite State Machine 3. Tustin Integrator 4. Control Loop Regulators 5. Nonlinear Guidance Algorithm 6. Feedforward Cascade Connectivity Neural Network 7. Abstraction of a Control Allocator (Effector Blender) 8. 6DOF with DeHavilland Beaver Autopilot* 9. System Safety Monitor 10. Euler Transformation Flight Control and Vehicle Management System Inspired Problems 8
9 1. Triplex Signal Monitor Description: this challenge problem involves the verification of a redundancy management system using quantum simulation techniques. The p Sensor A Sensor B Sensor C Online Monitoring Airborne Redundancy Management 9
10 2. Finite State Machine Description: this challenge problem involves the verification of a redundancy management system using quantum simulation techniques. The p Integrated Sensor Flight Control Embedded System Discrete Interwoven Modes in Integrated Cyber-Physical System 10
11 3. Tustin Integrator Description: this challenge problem involves the verification of a redundancy management system using quantum simulation techniques. The p Numerical Integration Fundamental Modeling and Simulation Component 11
12 4. Control Loop Regulators Description: this challenge problem involves the verification of a redundancy management system using quantum simulation techniques. The p PID Architecture Feedback Error Synthesis Kp Gain Ki Gain3 1 s Integrator Command Authority? Kd s s+1 Gain1 Transfer Fcn Attributes of Multi-Axis Control Law of Output Commands 12
13 5. Nonlinear Guidance Algorithm Description: this challenge problem involves the verification of a redundancy management system using quantum simulation techniques. The p Aim Point Validity? 3D Vector Mathematics for Outer Loop Intercept Guidance 13
14 5. Nonlinear Guidance Algorithm Block Types For NL Guidance Recent Focus on Import of Common Algorithmic Operators (Primitives) 14
15 6. Neural Network 1 Truth Model Description: this challenge problem involves the verification of a redundancy 0.6management system using quantum simulation techniques. The p 0.8 z Network Topology y x x Positive Negative Inputs Output Features? 2-y Inputs Layer 1 Layer2 Output 2x10x10x1 Feedforward Cascade Connectivity NN 15
16 1 trim_hdgref trim_turnknob trim_altref trim_pitchwheel boolean boolean boolean ID AD AD ID AP Eng HDG Mode ALT Mode HDG Ref Turn Knob ALT Ref Pitch Wheel Aileron Cmd Elevator Cmd Rudder Cmd AC Bus trim_flap trim_throttle trim_rudder Aileron Elevator Rudder Flap Throttle Rudder Trim EnvBus Controls DeHavilland Beaver model originally based on work created by Marc Rauw for Delft University of Technology, and subsequently modified by the Mathworks FLIGHT CONTROL Demonstration Author: elliocm Model Version: 1.80 Date: 21-Sep :23:12 and More Description: this challenge problem involves the verification of a redundancy management system using quantum simulation techniques. The p Cyber-Physical V&V Challenge Problems LM Aeronautics Quantum Information Science Research Team 2015 Copyright 2015 Lockheed Martin Corporation Sensors Environment APeng Constant7 Data Type Conversion3 Data Type Conversion1 HDGmode Constant DeHavilland Beaver Airframe Constant1 Data Type Conversion2 Constant2 Constant3 HDGref Signal Conditioning Constant4 TurnKnob Constant5 Constant6 Autopilot 16
17 End to End Analysis (Tustin) Cyber-Physical V&V Challenge Problems LM Aeronautics Quantum Information Science Research Team 2015 Copyright 2015 Lockheed Martin Corporation Description: this challenge problem involves 1 the verification of xin Input Signal to Be Integrated a redundancy management system using quantum simulation techniques. The p cmd xin Discrete Time Step Top Limit 5 TL Bottom Limit Boolean Reset Initial Condition Upon Reset 2 reset 4 ic 3 T 6 BL T TL BL reset ic Tustin yout Integrator (Limited, Resettable, States) Definitions: Normal operation: the integrator is not in reset mode, and the output is within the specified limits (TL and BL). ypv: prior yout value xinpv: prior xin input value SP: Saturation Point 1 yout Output Signal Documentation Provides ICD, Definitions, and Requirements 17
18 End to End Analysis (Tustin) 3 TL TLc [TL] TL Description: this challenge problem involves Goto the verification of a redundancy management system using quantum simulation techniques. The p 4 BL BL BLc [BL] Goto1 bounds 1 z TUSTIN INTEGRATOR (LIMITED, RESETTABLE, STATES) Unit Delay1 [TL] From 6 ic up 5 ~= u y 1 reset lo Saturation yout 1 xin 1.5 Gain Switch [BL] Dynamic z Unit Delay From1 2 T Product 18
19 End to End Analysis (Tustin) Description: this challenge problem involves the verification of a redundancy management system using quantum simulation techniques. The p 2 BL 1 TL < TLc Relational Operator Switch1 ~= 1 ~= 2 BLc Switch2 19
20 End to End Analysis (Tustin) Requirements: 1. When Reset is True and the Initial Condition (ic) is bounded by the provided Top and Bottom Limits (BL <= ic <= TL), the Output (yout) shall equal the Initial Condition (ic). 2. The Output (yout) shall be bounded by the provided Top and Bottom limits (TL and BL) 3. When in normal operation, the output shall be the result of the equation, yout = T/2*(xin + xinpv)+ ypv 4. The Output of this function shall approximate the integration of the value of the input signal over time within a specified tolerance, defined in subtests below: a. After 10 seconds of Computation at an execution frequency of 10 hz, the Output should equal 10 within a +/- 0.1 tolerance, for a Constant Input (xin = 1.0), and the sample delta time T = 0.1 seconds when in normal mode of operation. b. Over a 10 second computational duration at an execution frequency of 10 hz, the Output should equal the sine of time t, sin(t), where time is defined as a vector from 0 to 10 by increments of 0.1 seconds within a +/- 0.1 tolerance for an input equal to the cosine of time t, cos(t), with the sample delta time T = 0.1 seconds when in normal mode of operation. Requirements Properties (Tests) is At Least Half the Challenge 20
21 End to End Analysis (Tustin) Requirements: 1. When Reset is True and the Initial Condition (ic) is bounded by the provided Top and Bottom Limits (BL <= ic <= TL), the Output (yout) shall equal the Initial Condition (ic). 2. The Output Detailed (yout) Formal shall be Property bounded Derivation: by the provided Top and Bottom limits (TL and BL) 3. When in normal # 1. When operation, Reset is the True output and the shall Initial be the Condition result of the (ic) equation, is yout = T/2*(xin + xinpv)+ # ypv bounded by the provided Top and Bottom Limits (BL<=ic<=TL), # the Output (yout) shall equal the Initial Condition (ic). 4. The Output of this function shall approximate the integration of the value of the input # If the Initial Condition is not bound by the Limits signal over # during time within a Reset, a specified the Output tolerance, shall equal defined the in saturation subtests below: a. After # 10 point seconds (nominally of Computation with TL>=BL, at an ic>=tl execution impl frequency SP==TL of and 10 ic<=bl hz, the impl Output SP==BL. should equal 10 within a +/- 0.1 tolerance, for a Constant Input (xin = 1.0), and the # Off-nominally with TL<BL, ic, ic>=bl impl SP==BL and ic<=tl impl sample SP==TL. delta time T = 0.1 seconds when in normal mode of operation. ((reset and ic<=tl and ic>=bl) impl yout == ic); #1a b. Over a 10 second computational duration at an execution frequency of 10 hz, ((reset and ic>=tl and ic>=bl and TL>=BL) impl yout == TL); #1b the Output ((reset and should ic<=bl equal and the ic>=bl sine and of time TL>=BL) t, sin(t), impl where yout == time BL); #1c is defined as a vector ((reset from and 0 to ic>=bl 10 by and increments ic<=tl and of TL<BL) 0.1 seconds impl yout within == BL); a +/- #1d 0.1 tolerance for ((reset and ic<=tl and ic>=bl and TL<BL) impl yout == TL); #1e an input equal to the cosine of time t, cos(t), with the sample delta time T = 0.1 seconds when in normal mode of operation. 21
22 End to End Analysis (Tustin) Requirements: Detailed Formal Property Derivation: 1. When Reset # Over is a True 10 second and the computational Initial Condition duration (ic) is at bounded an execution by the provided Analytic Top and vs Bottom frequency Limits (BL of <= 10 ic hz, <= the TL), Output the Output should (yout) equal shall the sine equal of the time Initial t, Condition Numerical (ic). sin(t), where time is defined as a vector from 0 to 10 by 2. The Output (yout) shall be bounded by the provided Top and Bottom limits (TL and BL) increments of 0.1 seconds within a +/- 0.1 tolerance for an 3. When input normal equal operation, to the cosine the of output time t, shall cos(t), be with the result the sample of the delta equation, yout = T/2*(xin 10 s + xinpv)+ time ypv T = 0.1 seconds when in normal mode of operation 4. The Output (xin{0}==1 of this and function xin{1}==0.995 shall approximate and xin{100}== the integration of and Tustin Error <.05 the value of the input T{all}==0.1 and reset{never} and (TL{all}>=BL{all}) and signal over (yout{all}>bl{all}) time within a and specified (yout{all}<tl{all})) tolerance, defined impl (abs(yout{0}- in subtests below: a. After 0)<= seconds and abs(yout{1} )<=0.1 of Computation at an execution and frequency abs(yout{98}-- of 10 hz, the Output should )<=0.1 equal 10 within and abs(yout{99} )<=0.1 a +/- 0.1 tolerance, for a Constant and Input (xin = 1.0), and the 10 s abs(yout{100} )<=0.1); sample delta time T = 0.1 seconds when in normal mode of operation. b. Over a 10 second computational duration at an execution frequency of 10 hz, the Output should equal the sine of time t, sin(t), where time is defined as a vector from 0 to 10 by increments of 0.1 seconds within a +/- 0.1 tolerance for an input equal to the cosine of time t, cos(t), with the sample delta time T = 0.1 seconds when in normal mode of operation. Requirements Properties (Tests) is At Least Half the Challenge 22
23 End to End Analysis (Triplex) Signal A Description: this challenge problem involves the verification of a redundancy management system using quantum simulation techniques. The p Signal B Signal C Threshold Level Fault Code Persistence Limit (Duration Trigger) FC: 0-nofail, 1-branchC, 2-branchB, 4-branchA # detailed formal property (abs(ia{all}-ib{all})>tlevel{all} or abs(ia{all}- ic{all})>tlevel{all} and PC>PClimit and PClimit{all}==1 and Tlevel{all}==1) impl (FC{3}==4); Given These Conditions, Prove the Correct Fault Report 23
24 24
25 25
26 10000 inputs 5000 ia ib ic t [sec] FC t [sec] Counter Example Data As a Test Harness to Model 26
27 inputs ia ib ic FC t [sec] t [sec] 4 inputs t [sec] ia-ib ia-ic ib-ic This is a Valid Defect Discovered By QVTrace v0.9.1 Closer Inspection Yields a Problem 27
28 2 inputs 0-2 ia ib ic t [sec] Nominal Behavior FC t [sec] FC: 0-nofail, 1-branchC, 2-branchB, 4-branchA 28
29 2 inputs 0-2 ia ib ic t [sec] Faulty Behavior FC t [sec] FC: 0-nofail, 1-branchC, 2-branchB, 4-branchA 29
30 Summary and Path Forward Round 1 V&V Challenge Problems In Use to Develop Novel QE-V&V Requirements Formalization is Difficult Alone and Reduces Defects - Requirements Properties (Tests) is At Least Half the Challenge - Beneficial to Front Load Design Process with Formalization - Need Near if Not Equivalent Primitives Capability in Properties - Interested in Deploying Challenges Requirements to SPeAR Goals: - Publish Results on Current Round of Challenges - Round 2 V&V Challenge Problems To Increase Complexity Further - Transition Formal Methods Analysis Process/Tools to Programs - Interested? Contact: Chris Elliott, christopher.m.elliott@lmco.com, Thank You 30
31 31
32 Biography slide Mr. Greg Tallant Program Manager and LM Fellow Lockheed Martin Aeronautics Skunk Works Dr. Edward H. Ned Allen Chief Scientist and LM Senior Fellow Lockheed Martin Corporation Mr. Peter Stanfill Quantum Apps Team Lockheed Martin Aeronautics Skunk Works Dr. Kristen Pudenz Quantum Apps Team Lockheed Martin Aeronautics Skunk Works Chris Elliott Quantum Apps Team Lockheed Martin Aeronautics Skunk Works 32
LOCKHEED MARTIN SITE UPDATE
LOCKHEED MARTIN SITE UPDATE 25 SEPTEMBER 2018 Julia Kwok Software Engineer Quantum Applications THE USC-LM QUANTUM COMPUTING CENTER Dr. Edward H. Ned Allen Chief Scientist and LM Senior Fellow Lockheed
More informationChris Elliott Flight Controls / Quantum Computing. Copyright 2015, Lockheed Martin Corporation. All rights reserved.
On Example Models and Challenges Ahead for the Evaluation of Complex Cyber-Physical Systems with State of the Art Formal Methods V&V Research in Quantum Enabled V&V Technology June 9-11, 2015 Chris Elliott
More informationLOCKHEED MARTIN SITE UPDATE 11 APRIL 2018 MUNICH, GERMANY Kristen Pudenz Senior Quantum Applications Engineer
LOCKHEED MARTIN SITE UPDATE 11 APRIL 2018 MUNICH, GERMANY Kristen Pudenz Senior Quantum Applications Engineer THE USC-LM QUANTUM COMPUTING CENTER Dr. Edward H. Ned Allen Chief Scientist and LM Senior Fellow
More informationQuantum Computing Approach to V&V of Complex Systems Overview
Quantum Computing Approach to V&V of Complex Systems Overview Summary of Quantum Enabled V&V Technology June, 04 Todd Belote Chris Elliott Flight Controls / VMS Integration Discussion Layout I. Quantum
More informationA Quantum Computing Approach to the Verification and Validation of Complex Cyber-Physical Systems
A Quantum Computing Approach to the Verification and Validation of Complex Cyber-Physical Systems Achieving Quality and Cost Control in the Development of Enormous Systems Safe and Secure Systems and Software
More informationQuantum Annealing and the Satisfiability Problem
arxiv:1612.7258v1 [quant-ph] 21 Dec 216 Quantum Annealing and the Satisfiability Problem 1. Introduction Kristen L PUDENZ 1, Gregory S TALLANT, Todd R BELOTE, and Steven H ADACHI Lockheed Martin, United
More informationFAULT DETECTION AND FAULT TOLERANT APPROACHES WITH AIRCRAFT APPLICATION. Andrés Marcos
FAULT DETECTION AND FAULT TOLERANT APPROACHES WITH AIRCRAFT APPLICATION 2003 Louisiana Workshop on System Safety Andrés Marcos Dept. Aerospace Engineering and Mechanics, University of Minnesota 28 Feb,
More informationThe Application of Nonlinear Pre-Filters to Prevent Aeroservoelastic Interactions due to Actuator Rate Limiting
The Application of Nonlinear Pre-Filters to Prevent Aeroservoelastic Interactions due to Actuator Rate Limiting Robert Bruce Alstrom 1, Goodarz Ahmadi 2, Erik Bollt 3, Pier Marzocca 4 Clarkson University,
More informationChapter 1. Introduction. 1.1 System Architecture
Chapter 1 Introduction 1.1 System Architecture The objective of this book is to prepare the reader to do research in the exciting and rapidly developing field of autonomous navigation, guidance, and control
More informationAFRL MACCCS Review. Adaptive Control of the Generic Hypersonic Vehicle
AFRL MACCCS Review of the Generic Hypersonic Vehicle PI: Active- Laboratory Department of Mechanical Engineering Massachusetts Institute of Technology September 19, 2012, MIT AACL 1/38 Our Team MIT Team
More informationConfidence metrics analysis of a fixed-wing UAV. Janos Polgar
Confidence metrics analysis of a fixed-wing UAV A THESIS SUBMITTED TO THE FACULTY OF THE GRADUATE SCHOOL OF THE UNIVERSITY OF MINNESOTA BY Janos Polgar IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE
More informationFormally Analyzing Adaptive Flight Control
Formally Analyzing Adaptive Flight Control Ashish Tiwari SRI International 333 Ravenswood Ave Menlo Park, CA 94025 Supported in part by NASA IRAC NRA grant number: NNX08AB95A Ashish Tiwari Symbolic Verification
More informationCDS 101/110a: Lecture 1.1 Introduction to Feedback & Control. CDS 101/110 Course Sequence
CDS 101/110a: Lecture 1.1 Introduction to Feedback & Control Richard M. Murray 28 September 2015 Goals: Give an overview of CDS 101/110: course structure & administration Define feedback systems and learn
More informationAircraft Pitch Control Design Using Observer-State Feedback Control
KINETIK, Vol. 2, No. 4, November 217, Pp. 263-272 ISSN : 253-2259 E-ISSN : 253-2267 263 Aircraft Pitch Control Design Using Observer-State Feedback Control Hanum Arrosida *1, Mohammad Erik Echsony 2 1,2
More informationAdaptive Trim and Trajectory Following for a Tilt-Rotor Tricopter Ahmad Ansari, Anna Prach, and Dennis S. Bernstein
7 American Control Conference Sheraton Seattle Hotel May 4 6, 7, Seattle, USA Adaptive Trim and Trajectory Following for a Tilt-Rotor Tricopter Ahmad Ansari, Anna Prach, and Dennis S. Bernstein Abstract
More informationAerodynamics and Flight Mechanics
Aerodynamics and Flight Mechanics Principal Investigator: Mike Bragg Eric Loth Post Doc s: Graduate Students: Undergraduate Students: Sam Lee Jason Merret Kishwar Hossain Edward Whalen Chris Lamarre Leia
More informationChapter 2 Review of Linear and Nonlinear Controller Designs
Chapter 2 Review of Linear and Nonlinear Controller Designs This Chapter reviews several flight controller designs for unmanned rotorcraft. 1 Flight control systems have been proposed and tested on a wide
More informationAim. Unit abstract. Learning outcomes. QCF level: 6 Credit value: 15
Unit T23: Flight Dynamics Unit code: J/504/0132 QCF level: 6 Credit value: 15 Aim The aim of this unit is to develop learners understanding of aircraft flight dynamic principles by considering and analysing
More informationAerodynamics and Flight Mechanics
Aerodynamics and Flight Mechanics Principal Investigator: Mike Bragg, Eric Loth Post Doc s: Andy Broeren, Sam Lee Graduate Students: Holly Gurbachi(CRI), Tim Hutchison, Devesh Pokhariyal, Ryan Oltman,
More informationChapter 7 Control. Part Classical Control. Mobile Robotics - Prof Alonzo Kelly, CMU RI
Chapter 7 Control 7.1 Classical Control Part 1 1 7.1 Classical Control Outline 7.1.1 Introduction 7.1.2 Virtual Spring Damper 7.1.3 Feedback Control 7.1.4 Model Referenced and Feedforward Control Summary
More informationMech 6091 Flight Control System Course Project. Team Member: Bai, Jing Cui, Yi Wang, Xiaoli
Mech 6091 Flight Control System Course Project Team Member: Bai, Jing Cui, Yi Wang, Xiaoli Outline 1. Linearization of Nonlinear F-16 Model 2. Longitudinal SAS and Autopilot Design 3. Lateral SAS and Autopilot
More informationIndex. 1/f Noise Need for, 200 Simulating, 200 Using cascaded linear systems, 202
Index 1/f Noise Need for, 200 Simulating, 200 Using cascaded linear systems, 202 Absolute value block And zero-crossing detection, 11 In Clock model, 22 In Math Operations library, 23 Zero-crossing, turning
More informationRuntime Model Predictive Verification on Embedded Platforms 1
Runtime Model Predictive Verification on Embedded Platforms 1 Pei Zhang, Jianwen Li, Joseph Zambreno, Phillip H. Jones, Kristin Yvonne Rozier Presenter: Pei Zhang Iowa State University peizhang@iastate.edu
More informationTrajectory Planning, Setpoint Generation and Feedforward for Motion Systems
2 Trajectory Planning, Setpoint Generation and Feedforward for Motion Systems Paul Lambrechts Digital Motion Control (4K4), 23 Faculty of Mechanical Engineering, Control Systems Technology Group /42 2
More informationV&V of Complex Systems
V&V of Complex Systems Bill Lanz and Hussein Youssef S5 Symposium- Beavercreek, OH June 14-16, 2011 1 Introduction Current methods of V&V, which certify that the software is fit for use, require a significant
More informationEnhanced Single-Loop Control Strategies (Advanced Control) Cascade Control Time-Delay Compensation Inferential Control Selective and Override Control
Enhanced Single-Loop Control Strategies (Advanced Control) Cascade Control Time-Delay Compensation Inferential Control Selective and Override Control 1 Cascade Control A disadvantage of conventional feedback
More informationImproving the Control System for Pumped Storage Hydro Plant
011 International Conference on Computer Communication and Management Proc.of CSIT vol.5 (011) (011) IACSIT Press, Singapore Improving the Control System for Pumped Storage Hydro Plant 1 Sa ad. P. Mansoor
More informationAn LQR Controller Design Approach For Pitch Axis Stabilisation Of 3-DOF Helicopter System
International Journal of Scientific & Engineering Research, Volume 4, Issue 4, April-2013 1398 An LQR Controller Design Approach For Pitch Axis Stabilisation Of 3-DOF Helicopter System Mrs. M. Bharathi*Golden
More informationModel predictive control of industrial processes. Vitali Vansovitš
Model predictive control of industrial processes Vitali Vansovitš Contents Industrial process (Iru Power Plant) Neural networ identification Process identification linear model Model predictive controller
More informationVerification and Synthesis. Using Real Quantifier Elimination. Ashish Tiwari, SRI Intl. Verif. and Synth. Using Real QE: 1
Verification and Synthesis Using Real Quantifier Elimination Thomas Sturm Max-Planck-Institute for Informatik Saarbrucken, Germany sturm@mpi-inf.mpg.de Ashish Tiwari SRI International Menlo Park, USA tiwari@csl.sri.com
More informationAutopilot Analysis and EP Scheme for the Twin Otter under Iced Conditions.
Autopilot Analysis and EP Scheme for the Twin Otter under Iced Conditions. Vikrant Sharma University of Illinois 4-46 Objectives Investigate the autopilot behavior under iced conditions. Develop an envelope
More informationSAMPLE SOLUTION TO EXAM in MAS501 Control Systems 2 Autumn 2015
FACULTY OF ENGINEERING AND SCIENCE SAMPLE SOLUTION TO EXAM in MAS501 Control Systems 2 Autumn 2015 Lecturer: Michael Ruderman Problem 1: Frequency-domain analysis and control design (15 pt) Given is a
More informationIntel s approach to Quantum Computing
Intel s approach to Quantum Computing Dr. Astrid Elbe, Managing Director Intel Lab Europe Quantum Computing: Key Concepts Superposition Classical Physics Quantum Physics v Heads or Tails Heads and Tails
More informationThe Application of Nonlinear Pre-Filters to Prevent Aeroservoelastic Interactions Due to Actuator Rate Limiting
53rd AIAA/ASME/ASCE/AHS/ASC Structures, Structural Dynamics, and Materials Conference The Application of Nonlinear Pre-Filters to Prevent Aeroservoelastic Interactions Due to Actuator Rate Limiting Journal:
More informationFlight-Dynamics, Flutter, and Active-Flutter-Suppression Analyses of a Flexible Flying-Wing Research Drone
Flight-Dynamics, Flutter, and Active-Flutter-Suppression Analyses of a Flexible Flying-Wing Research Drone Dr. David K. Schmidt dschmidt@uccs.edu Professor Emeritus University of Colorado Principal D.K.
More informationkiteplane s length, wingspan, and height are 6 mm, 9 mm, and 24 mm, respectively, and it weighs approximately 4.5 kg. The kiteplane has three control
Small Unmanned Aerial Vehicle with Variable Geometry Delta Wing Koji Nakashima, Kazuo Okabe, Yasutaka Ohsima 2, Shuichi Tajima 2 and Makoto Kumon 2 Abstract The kiteplane that is considered in this paper
More informationFull Scale Structural Durability Test Spectrum Reduction by Truncation Coupon Testing
Full Scale Structural Durability Test Spectrum Reduction by Truncation Coupon Testing Ogewu C. Agbese F-16/F-22 IFG Service Life Analysis Lockheed Martin Aeronautics Fort Worth, TX, USA ogewu.c.agbese@lmco.com
More informationAdvanced Aerospace Control. Marco Lovera Dipartimento di Scienze e Tecnologie Aerospaziali, Politecnico di Milano
Advanced Aerospace Control Dipartimento di Scienze e Tecnologie Aerospaziali, Politecnico di Milano ICT for control systems engineering School of Industrial and Information Engineering Aeronautical Engineering
More informationTTA and PALS: Formally Verified Design Patterns for Distributed Cyber-Physical
TTA and PALS: Formally Verified Design Patterns for Distributed Cyber-Physical DASC 2011, Oct/19 CoMMiCS Wilfried Steiner wilfried.steiner@tttech.com TTTech Computertechnik AG John Rushby rushby@csl.sri.com
More informationGT-POWER linearization and engine advanced control design applications
GT-POWER linearization and engine advanced control design applications Kenny Follen Ali Borhan Ed Hodzen Cummins Inc. North American GT Conference 2016 November 14-15, 2016 Michigan, USA Outline Background
More informationSuboptimal adaptive control system for flight quality improvement
Suboptimal adaptive control system for flight uality improvement Andrzej Tomczyk Department of Avionics and Control, Faculty of Mechanical Engineering and Aeronautics Rzeszów University of Technology,
More informationQubits qop Tools Directions
Qubits qop Tools Directions Steve Reinhardt Director of Software Tools D-Wave Systems The qop goals are to establish key abstractions that are valuable for applications and higherlevel tools and effectively
More informationYTÜ Mechanical Engineering Department
YTÜ Mechanical Engineering Department Lecture of Special Laboratory of Machine Theory, System Dynamics and Control Division Coupled Tank 1 Level Control with using Feedforward PI Controller Lab Date: Lab
More informationFlight Dynamics, Simulation, and Control
Flight Dynamics, Simulation, and Control For Rigid and Flexible Aircraft Ranjan Vepa CRC Press Taylor & Francis Group Boca Raton London New York CRC Press is an imprint of the Taylor & Francis Group, an
More informationJim Held, Ph.D., Intel Fellow & Director Emerging Technology Research, Intel Labs. HPC User Forum April 18, 2018
Jim Held, Ph.D., Intel Fellow & Director Emerging Technology Research, Intel Labs HPC User Forum April 18, 2018 Quantum Computing: Key Concepts Superposition Classical Physics Quantum Physics v Entanglement
More informationThe D-Wave 2X Quantum Computer Technology Overview
The D-Wave 2X Quantum Computer Technology Overview D-Wave Systems Inc. www.dwavesys.com Quantum Computing for the Real World Founded in 1999, D-Wave Systems is the world s first quantum computing company.
More informationState space control for the Two degrees of freedom Helicopter
State space control for the Two degrees of freedom Helicopter AAE364L In this Lab we will use state space methods to design a controller to fly the two degrees of freedom helicopter. 1 The state space
More informationCanary Foundation at Stanford. D-Wave Systems Murray Thom February 27 th, 2017
Canary Foundation at Stanford D-Wave Systems Murray Thom February 27 th, 2017 Introduction to Quantum Computing Copyright D-Wave Systems Inc. 3 Richard Feynman 1960 1970 1980 1990 2000 2010 2020 Copyright
More informationQuantum Computing. Separating the 'hope' from the 'hype' Suzanne Gildert (D-Wave Systems, Inc) 4th September :00am PST, Teleplace
Quantum Computing Separating the 'hope' from the 'hype' Suzanne Gildert (D-Wave Systems, Inc) 4th September 2010 10:00am PST, Teleplace The Hope All computing is constrained by the laws of Physics and
More informationDesign, Analysis and Research Corporation (DARcorporation) ERRATA: Airplane Flight Dynamics and Automatic Flight Controls Part I
Design, Analysis and Research Corporation (DARcorporation) ERRATA: Airplane Flight Dynamics and Automatic Flight Controls Part I Copyright 00 by Dr. Jan Roskam Year of Print, 00 (Errata Revised August
More informationDepartment of Aerospace Engineering and Mechanics University of Minnesota Written Preliminary Examination: Control Systems Friday, April 9, 2010
Department of Aerospace Engineering and Mechanics University of Minnesota Written Preliminary Examination: Control Systems Friday, April 9, 2010 Problem 1: Control of Short Period Dynamics Consider the
More informationServo Control of a Turbine Gas Metering Valve by Physics-Based Robust Controls (μ) Synthesis
Servo Control of a Turbine Gas Metering Valve by Physics-Based Robust Controls (μ) Synthesis Dr. Peter M. Young Prof. Electrical Engineering Colorado State University pmy@colostate.edu Dr. Kamran Eftekhari
More informationMODELING OF DUST DEVIL ON MARS AND FLIGHT SIMULATION OF MARS AIRPLANE
MODELING OF DUST DEVIL ON MARS AND FLIGHT SIMULATION OF MARS AIRPLANE Hirotaka Hiraguri*, Hiroshi Tokutake* *Kanazawa University, Japan hiraguri@stu.kanazawa-u.ac.jp;tokutake@se.kanazawa-u.ac.jp Keywords:
More informationFundamental study on simple quantitative approach of damping performance for semi-active damper
Fundamental study on simple quantitative approach of damping performance for semi-active damper T. Hiwatashi Toa Corporation, Yokohama, Japan H. Fujitani Kobe University, Kobe, Japan SUMMARY: Structural
More informationAutopilot design for small fixed wing aerial vehicles. Randy Beard Brigham Young University
Autopilot design for small fixed wing aerial vehicles Randy Beard Brigham Young University Outline Control architecture Low level autopilot loops Path following Dubins airplane paths and path management
More informationWhy fault tolerant system?
Why fault tolerant system? Non Fault-Tolerant System Component 1 Component 2 Component N The reliability block diagram of a series systemeach element of the system must operate correctly for the system
More informationAeroelastic Gust Response
Aeroelastic Gust Response Civil Transport Aircraft - xxx Presented By: Fausto Gill Di Vincenzo 04-06-2012 What is Aeroelasticity? Aeroelasticity studies the effect of aerodynamic loads on flexible structures,
More informationECE 585 Power System Stability
Homework 1, Due on January 29 ECE 585 Power System Stability Consider the power system below. The network frequency is 60 Hz. At the pre-fault steady state (a) the power generated by the machine is 400
More informationHover Control for Helicopter Using Neural Network-Based Model Reference Adaptive Controller
Vol.13 No.1, 217 مجلد 13 العدد 217 1 Hover Control for Helicopter Using Neural Network-Based Model Reference Adaptive Controller Abdul-Basset A. Al-Hussein Electrical Engineering Department Basrah University
More information9 Aug 04 Getting Technology to Space for the Warfighter
1 SMC Detachment 12 - The Dirty Dozen Space Test Program-1 (STP-1) First of its Kind! Major Ray Galik STP-1 Program Manager 9 Aug 2004 Overview STP-1 Mission summary STP-1 Firsts Manifest Changes Space
More informationAdvanced Adaptive Control for Unintended System Behavior
Advanced Adaptive Control for Unintended System Behavior Dr. Chengyu Cao Mechanical Engineering University of Connecticut ccao@engr.uconn.edu jtang@engr.uconn.edu Outline Part I: Challenges: Unintended
More informationr. Matthias Bretschneider amburg - Dept. Safety Fehleranalyse mit Hilfe von Model Checkern
r. Matthias Bretschneider amburg - Dept. Safety Fehleranalyse mit Hilfe von Model Checkern otivation: Design of safe embedded systems X y Sensor(s) Controller Actuator Design Phase Study the effect of
More informationLUMINARY Memo #214 Revision 1
Massachusetts Institute of Technology C. S. Draper Laboratory Cambridge, Massachusetts LUMINARY Memo #214 Revision 1 To: Distribution From: Luminary Test Group Date: 6 April 1971 Subject: Level 6 for Luminary
More informationCONTROL SYSTEMS ENGINEERING Sixth Edition International Student Version
CONTROL SYSTEMS ENGINEERING Sixth Edition International Student Version Norman S. Nise California State Polytechnic University, Pomona John Wiley fir Sons, Inc. Contents PREFACE, vii 1. INTRODUCTION, 1
More informationLecture «Robot Dynamics»: Dynamics 2
Lecture «Robot Dynamics»: Dynamics 2 151-0851-00 V lecture: CAB G11 Tuesday 10:15 12:00, every week exercise: HG E1.2 Wednesday 8:15 10:00, according to schedule (about every 2nd week) office hour: LEE
More informationQuantum Computing An Overview
Quantum Computing An Overview NAS Division NASA Ames Research Center TR Govindan Program Manager, QIS U.S. Army Research Office Outline Motivation Essentials of the Quantum Computing (QC) model Challenges
More informationDesign and Implementation of Two-Degree-of-Freedom Nonlinear PID Controller for a Nonlinear Process
IOSR Journal of Electrical and Electronics Engineering (IOSR-JEEE) e-issn: 2278-1676,p-ISSN: 23-3331, Volume 9, Issue 3 Ver. III (May Jun. 14), PP 59-64 Design and Implementation of Two-Degree-of-Freedom
More informationTopological Quantum Computation. Zhenghan Wang Microsoft Station Q & UC Sana Barbara Texas, March 26, 2015
Topological Quantum Computation Zhenghan Wang Microsoft Station Q & UC Sana Barbara Texas, March 26, 2015 Classical Physics Turing Model Quantum Mechanics Quantum Computing Quantum Field Theory??? String
More informationCM 3310 Process Control, Spring Lecture 21
CM 331 Process Control, Spring 217 Instructor: Dr. om Co Lecture 21 (Back to Process Control opics ) General Control Configurations and Schemes. a) Basic Single-Input/Single-Output (SISO) Feedback Figure
More informationRESEARCH ON AIRBORNE INTELLIGENT HYDRAULIC PUMP SYSTEM
8 TH INTERNATIONAL CONGRESS OF THE AERONAUTICAL SCIENCES RESEARCH ON AIRBORNE INTELLIGENT HYDRAULIC PUMP SYSTEM Jungong Ma, Xiaoye Qi, Juan Chen BeiHang University,Beijing,China jgma@buaa.edu.cn;qixiaoye@buaa.edu.cn;sunchenjuan@hotmail.com
More informationNONLINEAR AND ADAPTIVE (INTELLIGENT) SYSTEMS MODELING, DESIGN, & CONTROL A Building Block Approach
NONLINEAR AND ADAPTIVE (INTELLIGENT) SYSTEMS MODELING, DESIGN, & CONTROL A Building Block Approach P.A. (Rama) Ramamoorthy Electrical & Computer Engineering and Comp. Science Dept., M.L. 30, University
More informationAnalysis of clocked sequential networks
Analysis of clocked sequential networks keywords: Mealy, Moore Consider : a sequential parity checker an 8th bit is added to each group of 7 bits such that the total # of 1 bits is odd for odd parity if
More informationAerodynamics and Flight Mechanics
Aerodynamics and Flight Mechanics Principal Investigator: Post Doc s: Graduate Students: Undergraduate Students: Mike Bragg Eric Loth Andy Broeren Sam Lee Jason Merret Kishwar Hossain Edward Whalen Chris
More informationAgent-Based HOL Reasoning 1
Agent-Based HOL Reasoning 1 Alexander Steen Max Wisniewski Christoph Benzmüller Freie Universität Berlin 5th International Congress on Mathematical Software (ICMS 2016) 1 This work has been supported by
More informationQuantum Effect or HPC without FLOPS. Lugano March 23, 2016
Quantum Effect or HPC without FLOPS Lugano March 23, 2016 Electronics April 19, 1965 2016 D-Wave Systems Inc. All Rights Reserved 2 Moore s Law 2016 D-Wave Systems Inc. All Rights Reserved 3 www.economist.com/technology-quarterly/2016-03-12/aftermoores-law
More informationLecture 14 - Using the MATLAB Control System Toolbox and Simulink Friday, February 8, 2013
Today s Objectives ENGR 105: Feedback Control Design Winter 2013 Lecture 14 - Using the MATLAB Control System Toolbox and Simulink Friday, February 8, 2013 1. introduce the MATLAB Control System Toolbox
More informationDESIGN AND DEVELOPMENT OF THE LQR OPTIMAL CONTROLLER FOR THE UNMANNED AERIAL VEHICLE
Review of the Air Force Academy No.1 (36)/2018 DESIGN AND DEVELOPMENT OF THE LQR OPTIMAL CONTROLLER FOR THE UNMANNED AERIAL VEHICLE Róbert SZABOLCSI Óbuda University, Budapest, Hungary (szabolcsi.robert@bgk.uni-obuda.hu)
More informationIntegrating Induction and Deduction for Verification and Synthesis
Integrating Induction and Deduction for Verification and Synthesis Sanjit A. Seshia Associate Professor EECS Department UC Berkeley DATE 2013 Tutorial March 18, 2013 Bob s Vision: Exploit Synergies between
More informationDouble Inverted Pendulum (DBIP)
Linear Motion Servo Plant: IP01_2 Linear Experiment #15: LQR Control Double Inverted Pendulum (DBIP) All of Quanser s systems have an inherent open architecture design. It should be noted that the following
More informationROBUSTNESS OF MODEL- BASED SIMULATIONS
ROBUSTNESS OF MODEL- BASED SIMULATIONS Georgios Fainekos, Arizona State University Sriram Sankaranarayanan, University of Colorado Franjo Ivancic, NEC Labs Aarti Gupta, NEC Labs Work performed at NEC Labs
More informationQuantum Artificial Intelligence at NASA
Quantum Artificial Intelligence at NASA Alejandro Perdomo-Ortiz Senior Research Scientist, Quantum AI Lab. at NASA Ames Research Center and at the University Space Research Association (USRA) NASA QuAIL
More informationLearning Control Under Uncertainty: A Probabilistic Value-Iteration Approach
Learning Control Under Uncertainty: A Probabilistic Value-Iteration Approach B. Bischoff 1, D. Nguyen-Tuong 1,H.Markert 1 anda.knoll 2 1- Robert Bosch GmbH - Corporate Research Robert-Bosch-Str. 2, 71701
More informationAggressive Maneuvering Flight Tests of a Miniature Robotic Helicopter
Aggressive Maneuvering Flight Tests of a Miniature Robotic Helicopter Vladislav Gavrilets, Ioannis Martinos, Bernard Mettler, and Eric Feron Massachusetts Institute of Technology, Cambridge MA 2139, USA
More informationTowards Reduced-Order Models for Online Motion Planning and Control of UAVs in the Presence of Wind
Towards Reduced-Order Models for Online Motion Planning and Control of UAVs in the Presence of Wind Ashray A. Doshi, Surya P. Singh and Adam J. Postula The University of Queensland, Australia {a.doshi,
More informationAdaptive Augmentation of a Fighter Aircraft Autopilot Using a Nonlinear Reference Model
Proceedings of the EuroGNC 13, 2nd CEAS Specialist Conference on Guidance, Navigation & Control, Delft University of Technology, Delft, The Netherlands, April -12, 13 Adaptive Augmentation of a Fighter
More informationLecture 7 : Generalized Plant and LFT form Dr.-Ing. Sudchai Boonto Assistant Professor
Dr.-Ing. Sudchai Boonto Assistant Professor Department of Control System and Instrumentation Engineering King Mongkuts Unniversity of Technology Thonburi Thailand Linear Quadratic Gaussian The state space
More informationAir Force Research Laboratory
Air Force Research Laboratory Lidar Wind Sensing for Improved Precision Airdrop and Gunship Wind Sensing 27 Jun 2016 Integrity Service Excellence Wesley Jones InfoSciTex AFRL RQQD 1 AFRL PAD FCC and MS&A
More informationResearch on Control Method of Brushless DC Motor Based on Continuous Three-Phase Current
6th International onference on Measurement, Instrumentation and Automation (IMIA 017 Research on ontrol Method of Brushless D Motor Based on ontinuous hree-phase urrent Li Ding 1,Mingliang Hu, Jun Zhao
More informationDigital Control Engineering Analysis and Design
Digital Control Engineering Analysis and Design M. Sami Fadali Antonio Visioli AMSTERDAM BOSTON HEIDELBERG LONDON NEW YORK OXFORD PARIS SAN DIEGO SAN FRANCISCO SINGAPORE SYDNEY TOKYO Academic Press is
More informationFUZZY LOGIC CONTROL Vs. CONVENTIONAL PID CONTROL OF AN INVERTED PENDULUM ROBOT
http:// FUZZY LOGIC CONTROL Vs. CONVENTIONAL PID CONTROL OF AN INVERTED PENDULUM ROBOT 1 Ms.Mukesh Beniwal, 2 Mr. Davender Kumar 1 M.Tech Student, 2 Asst.Prof, Department of Electronics and Communication
More informationCautious Data Driven Fault Detection and Isolation applied to the Wind Turbine Benchmark
Driven Fault Detection and Isolation applied to the Wind Turbine Benchmark Prof. Michel Verhaegen Delft Center for Systems and Control Delft University of Technology the Netherlands November 28, 2011 Prof.
More informationActive Stabilization of Unstable System Under Bounded Control with Application to Active Flutter Suppression Problem
Active Stabilization of Unstable System Under Bounded Control with Application to Active Flutter Suppression Problem Student: Supervisor: Second Reader: Konstantin Vikhorev Prof. Mikhail Goman Dr. Junsheng
More informationAn introduction to flight control algorithms. Gertjan Looye 6SX%RQIVOYRKIRZSR71SRXIRIKVS
An introduction to flight control algorithms Gertjan Looye 6SX%RQIVOYRKIRZSR71SRXIRIKVS About me Name: Gertjan Looye Education: Delft, Faculty of Aerospace Engineering MSc. (1996), PhD. (2008) Career:
More informationFault-Tolerant Control of a Unmanned Aerial Vehicle with Partial Wing Loss
Preprints of the 19th World Congress The International Federation of Automatic Control Fault-Tolerant Control of a Unmanned Aerial Vehicle with Partial Wing Loss Wiaan Beeton J.A.A. Engelbrecht Stellenbosch
More informationInverted Pendulum System
Introduction Inverted Pendulum System This lab experiment consists of two experimental procedures, each with sub parts. Experiment 1 is used to determine the system parameters needed to implement a controller.
More informationRobust Control of Cooperative Underactuated Manipulators
Robust Control of Cooperative Underactuated Manipulators Marcel Bergerman * Yangsheng Xu +,** Yun-Hui Liu ** * Automation Institute Informatics Technology Center Campinas SP Brazil + The Robotics Institute
More informationFLIGHT DYNAMICS. Robert F. Stengel. Princeton University Press Princeton and Oxford
FLIGHT DYNAMICS Robert F. Stengel Princeton University Press Princeton and Oxford Preface XV Chapter One Introduction 1 1.1 ELEMENTS OF THE AIRPLANE 1 Airframe Components 1 Propulsion Systems 4 1.2 REPRESENTATIVE
More informationKeywords- Source coding, Huffman encoding, Artificial neural network, Multilayer perceptron, Backpropagation algorithm
Volume 4, Issue 5, May 2014 ISSN: 2277 128X International Journal of Advanced Research in Computer Science and Software Engineering Research Paper Available online at: www.ijarcsse.com Huffman Encoding
More informationDISTURBANCE ATTENUATION IN A MAGNETIC LEVITATION SYSTEM WITH ACCELERATION FEEDBACK
DISTURBANCE ATTENUATION IN A MAGNETIC LEVITATION SYSTEM WITH ACCELERATION FEEDBACK Feng Tian Department of Mechanical Engineering Marquette University Milwaukee, WI 53233 USA Email: feng.tian@mu.edu Kevin
More informationDesign for Manufacturability and Power Estimation. Physical issues verification (DSM)
Design for Manufacturability and Power Estimation Lecture 25 Alessandra Nardi Thanks to Prof. Jan Rabaey and Prof. K. Keutzer Physical issues verification (DSM) Interconnects Signal Integrity P/G integrity
More information