Real-Time Systems Versus Cyber-Physical Systems: Where is the Difference?
|
|
- Kelley Stevens
- 8 years ago
- Views:
Transcription
1 Real-Time Systems Versus Cyber-Physical Systems: Where is the Difference? Samarjit Chakraborty TU Munich, Germany Joint work with Dip Goswami*, Reinhard Schneider #, Alejandro Masrur $, Anuradha Annaswamy + *TU Eindhoven, # AUDI, $ TU Chemnitz, + Massachusetts Institute of Technology and several collaborators from UPenn, Bosch, Linköping University, ETH Zurich
2 Control Systems Design Equations System identification system model Controller design controller Control system analysis 2
3 Control Systems Implementation Equations System identification system model Controller design controller Control system analysis Software Message scheduling Task mapping & scheduling Task partitioning Code generation Timing & performance analysis Are control objectives satisfied NO 3
4 The Design Flow Controller Design System identification system model Controller design controller Control system analysis Controller Implementation Message scheduling Task mapping & scheduling Task partitioning Code generation Timing & performance analysis Are control objectives satisfied NO 4
5 The Design Flow Controller Design Control theorist Controller Implementation Embedded systems engineer Design assumptions!! Infinite numerical accuracy!! Computing control law takes negligible time!! No delay from sensor to controller!! No delay from controller to actuator!! No jitter!!! Implementation reality!! Fixed-precision arithmetic!! Tasks have non-negligible execution times!! Often large message delays!! Time- and event-triggered communication 5
6 Controller Design The Design Flow These are implementation details Control theorist Not my problem! Controller Implementation Model-level assumptions are not satisfied by implementation Embedded systems engineer 6
7 Controller Design Semantic Gap Semantic gap between model and implementation Controller Implementation Research Questions?!! How should we quantify this gap?!! How should we close this gap? 7
8 Applications Model Current Design Flow! High-level requirements code generation Controller design m 1 m 2 HW/SW architecture Multiple processor units (PUs) connected via a shared bus T 1 T 2 T 3 T 4 Code synthesis & Task partitioning Task mapping Task and Message scheduling 8
9 Applications Model Current Design Flow! High-level requirements HW/SW architecture Multiple processor units (PUs) connected via a shared bus Unreliable hardware soft-errors, aging,! m 1 m 2 T 1 T 2 T 3 T 4 Fixed-precision arithmetic Delay / jitter message loss Controller design Code synthesis & Task partitioning Task mapping Task and Message scheduling 9
10 Current Design Flow! Applications High-level requirements T1 m1 T2 HW/SW architecture Multiple processor units (PUs) connected via a shared bus T3 m2 T4 Fixed-precision arithmetic Model Controller design Code synthesis & Task partitioning Delay / jitter message loss Unreliable hardware soft-errors, aging,! Task Algorithm & Architecture designed separately mapping followed by integration, testing, debugging,! Task and Message scheduling 10
11 Cyber-Physical Systems!! Tight interaction between computational (cyber) and physical systems!! Isolated design of the two systems leads to:!! Higher integration, testing and debugging costs!! Poor resource utilization (e.g., unnecessarily high sampling rates)!! Question:!! Can existing techniques from real-time & embedded systems be directly applied? We know hardware/software co-design!! Answer:!! New techniques are required!! Traditional embedded systems design have focused only on meeting deadlines 11
12 Control Tasks - Characteristics The deadlines are usually not hard for control-related messages DC motor: Speed Objective: A fraction of feedback signals being dropped 33% Drop 25% Drop 0% Drop Controllers can be designed to be robust to drops and deadline-misses Seconds 1 2
13 Control Tasks - Characteristics Sensitivity of control performance depends on the state of the controlled plant Speed h =20ms Disturbance Seconds h =200ms (1)! The computation requirement at the steady state is less, i.e., sampling frequency can be reduced (e.g., event-triggered sampling) (2)! The communication requirements are less at the steady state, (e.g., lower priority can be assigned to the feedback signals) 1 3
14 Bottomline!! Real-time Systems View!! Meeting deadlines is the center of attraction Control performance constraints reduced to satisfaction of real-time constraints!! CPS View!! Deadline takes the back seat!! As a result, the design space becomes bigger!! Resulting design is better, robust, cost-effective! 1 4
15 What about NCS? T 3 T4 Network T 2 m 2 m Controller m 1 Sensor Plant Networked Control Systems T 1! Take network characteristics into account when designing the control laws! Packet drops, delays, jitter! 1 5
16 What about NCS? Answer: ANCS T 3 T4 Network T 2 m 2 m Controller m 1 Plant Sensor Arbitrated Networked Control Systems T 1! ANCS We can design the network! By taking into account control performance constraints! Problem: How to design the network?! Given a network, how to design the controller?! NCS problem! Co-design Problem: How to design the network and the controller together? 1 6
17 First, a simple case 1 7
18 Embedded control systems Physical System Sensors Actuators Continuous-time A/D D/A Real-time applications Multimedia applications! Shared Communication Shared Computation Discrete-time Embedded platform: Control software 1 8
19 Dynamical Systems: DC Motor The time dependence of the various states of dynamical systems is described by a set of difference or differential equations. J = moment of inertia of the rotor b = system damping ratio, K = EMF and Torque constant, R = armature resistance, L = armature inductance, i = armature current, V = input, DC terminal voltage! = output, position of shaft i 1 9
20 System models! Input-output model (Transfer function) suitable for frequency domain analysis! The relation between input u(t) and output y(t) (observed variable e.g., position, temperature)! The analysis is done in frequency domain by taking Laplace transform where s is the complex frequency! State-space model suitable for time domain analysis! Represent the system in terms of a number of internal states
21 Example Computing state-space model (1) System dynamics: (2) Input and output: Output Input (3) States: (4) State-space model: 2 2 1
22 Laplace Transform 2 2
23 Computing transfer function Example (1) System dynamics: (2) Input and output: Output Input (3) Take Laplace transform with zero initial condition: (4) Transfer function: 2 3
24 State-space to Transfer Function State-space model Laplace transform And x(0) = 0 2 4
25 Poles and Zeros! Given transfer function, the system poles are roots of the polynomial D(s) and the system zeros are roots of polynomial N(s)! Example Zeros: -0.2, -1 Poles: 1, 2, 3 2 5
26 Eigenvalues of a Matrix 2 6
27 Eigenvalues of a Matrix 2 7
28 Characteristic equation! Alternatively, system poles can also be computed from the state-space model by computing Characteristic Equation which is given by:! System poles are the roots of Characteristic polynomial! System poles are the eigenvalues of A 2 8
29 Stability There are various notions --! Bounded-Input Bounded-Output (BIBO) stability! Stability in the sense of Lyapunov! Asymptotic stability! Exponential stability!! Our lecture is mainly confined to the following aspects: (1)! x(t), y(t), u(t) <! (all signals are bounded), (2)! y(t) " 0 as t "! (asymptotic stability) 2 9
30 Implications of System Poles on Stability! Consider the following system (discrete model)! Intuition behind the continuous time mo 3 0
31 Stability condition: continuous-time case!!! Stable system All poles should have negative real part Marginally stable system One or multiple poles are on imaginary axis and all other poles have negative real parts Unstable system One or more poles with positive real part. Marginally stable Stable Unstable 3 1
32 Stability! Example Poles at +1, +2, +3 Unstable!! Example Poles at 0, 0 Marginally stable! Example Poles at ±i2 Marginally stable 3 2
33 System dynamics: Summary State-space Transfer function Roots of Poles at +10.9, -3.4 Poles at +10.9, -3.4 Unstable! 3 3
34 Summary How to compute system poles? 1.! Roots of 2.! Eigenvalues of system matrix A 3.! Solution of system characteristics equation 4.! Roots of D(s) for the transfer function!!! Stable system All poles with negative real part Marginally stable system One or multiple poles are on imaginary axis and all other poles have negative real parts Unstable system One or more poles with positive real part. 34
35 Controller Design: Continuous Model! We have a linear system given by the state-space model! For n-dimensional Single-Input-Single-Output (SISO) systems! Objective! u =? 35
36 Controller Design: Continuous Model! Control law r = reference K = feedback gain F = static feedforward gain! How to design K?! How to design F? 36
37 Computing Feedback Gain! Choose the desired closed-loop poles at! Using Ackermann s formula we get! Poles of (A+BK) are at 37
38 Static Feedforward Gain Closed-loop system Taking Laplace transform F should be chosen such that y(t) " r (constant) as t "! i.e., Using final value theorem 38
39 Digital Platform: Sample and Hold Processor clock D/A u(t k ) u(t) x(t) x(t k ) Continuous-time Hold Sampler system A/D Control Algorithm D/A " digital-to-analog converter A/D " analog-to-digital converter! Input u(t) is piecewise constant! Look at the sampling points 39
40 ZOH Sampling x(t) t " Sampling period = h x(t k ) t k t k+1 t k+2 u(t) t " 40
41 Design: Step 1 (Discretization) ZOH periodic sampling with period = h 41
42 Design: Step 2 (Controller Design)!! Given system: Control law: Objectives (i)! Place system poles (ii)! Achieve y " r as t "! (iii) Design K and F 1.! Check controllability of (!,") " must be controllable. # must be invertible. 2.! Apply Ackermann s formula 3.! Feedforward gain 42
43 Step 2! Given! The control input such that closed-loop poles are at! Using Ackermann s formula: 43
44 Continuous Vs Discrete Time Continuous-time ZOH periodic sampled Input: Controllability matrix: Input: Controllability matrix: 44
45 The Real Case Feedback loop T m : measure Loop start u = K*[x1(i);x2(i)] + r*f; xkp1 = phi*[x1(i);x2(i)]+ Gamma*u; T c : compute T a : actuate x1(i+1) = xkp1(1); x2(i+1) = xkp1(2); Loop end T m sensor task T c controller task T a actuator task 45
46 Control Loop Feedback loop Sensor reading $ = sensor-to-actuator delay T m : measure T m T c : compute T c T a : actuate T a h= sampling period Actuation Ideal design assumes: or 46
47 Control Task Triggering!!! In general, T m and T a tasks consume negligible computational time and are time-triggered T c needs finite computation time and is preemptive When multiple tasks are running on a processor, T c can be preempted T m T c T a $ $ $ $ Sensor-to-actuator delay: $ 47
48 Control Task Model: Constant Delay T c preemption wait T m Deadline D c T a T m Sampling period = h 48
49 Design Steps Real-time tasks + control applications Task models Partial redesign Overall response time analysis Stage I Schedulability test +Timing properties Controller design Stage II Design objectives met? No Yes 49
50 Response Time Analysis! Periodic tasks with fixed-priority scheduling! Solution to a fixed point computation 50
51 Controller design steps for D c < h Continuous-time model ZOH sampling with period h and constant sensor-to-actuator delay D c Step I New discrete-time model: Sampled-data model Step II Controller design based on the sampled-data model Objectives (i)! Place system poles (ii)! Achieve y " r as t "! 51
52 Snapshot of One Sampling Period What happens within one sampling period? x(t k ) x(t k+1 ) T c D c t k t k+1 52
53 53
54 54
55 55
56 Sampled-data Model Continuous-time model ZOH sampling with period h and constant sensor-to-actuator delay D c! Sampled-data model End of Step 1 56
57 Augmented System! We define new system states:! With the new definition of states, the state-space becomes where the augmented matrices are defined as follows 57
58 Controller Design for D c < h!! Given system: Control law: Objectives (i)! Place system poles (ii)! Achieve y " r as t "! (iii) Design K and F 1.! Check controllability of " must be controllable. # must be invertible where # is defined as follows 2.! Apply Ackermann s formula 3.! Feedforward gain End of Step II 58
59 Summary: Design for D c < h Continuous-time model Sampled-data model Augmented system Controller gains 59
60 A More Complex Case (involves stability analysis of switched systems) 6 0
61 CPS-Oriented Design Example!! Control over FlexRay!! FlexRay is made up of time-triggered (TT) and eventtriggered (ET) segments!! Conventional design!! Use time-triggered segment for control messages one slot for each control message!! Expensive Challenge: Can we achieve the same control performance with fewer time-triggered slots? 6 1
62 FlexRay Event Vs Time-triggered Asynchronous task Jitter, lost/unused data message x task Synchronous task message task Predictable x 6 2
63 Communication Schedules Time-triggered (TT)!! The temporal behavior is predictable!! The bandwidth utilization is poor!! Availability is limited Event-triggered (ET)!! The temporal behavior is unpredictable!! The bandwidth utilization is better!! Availability is higher Conventional design: Use TT for control-messages Problem: Can we use fewer TT slots but still have good control performance? 6 3
64 Quality of Control vs. System State Transient State Steady State r Settling time t Observations "! The performance of a control application is more sensitive to the applied control input in transient state compared to that in steady-state "! ET communication for the control signals is good enough in the steadystate "! TT communication is better suited for transient state 6 4
65 Mode Switching Scheme Plant in Steady- State M!" TT : ET : Schedule : Schedule : Controller : After S "#! K "#! Plant in Transient Mode Change Protocol Mode Change Request Controller : Plant in Transient M!! x[k]! x[k] > E "# S! " " K! " " Plant in Steady- State After dwell time T! "# 6 5
66 Example!! We consider two distributed control applications communicating via a hybrid communication bus!! We apply state-feedback controller for both, i.e., u[k] =Fx[k] 6 6
67 Performance with TT Communication Control Gains Quality of control C 1 Converges very fast without any oscillation C 2 6 7
68 Performance with ET Communication Control Gains Quality of control C 1 Large oscillations and long settling time C 2 6 8
69 Performance with Switching We have one shared TT communication slot. The control messages are transmitted via ET communication when they are in steady state and switches to TT communication when transient state occurs due to some disturbance Quality of control C 1 Performance is better than that with ET communication but we consume less TT communication slots C 2 6 9
70 Experimental Setup 7 0
71 Experimental Results Purely event-triggered Mixed time-/event-triggered Purely time-triggered 71
72 Controller Design with Signal Drops 7 2
73 Control Law for stable samples Sensor: x[k] x[0] x[1] x[2] x[3] x[4] x[5] $ % " # h! = 1 $ % " # h! = 1 $ % " # h! = 1 $ % " # h! = 1 $ % " # h! = 1 $ % " # h! = 1 Actuator: u[k] -- f(x[0]) f(x[1]) f(x[2]) f(x[3]) f(x[4]) Stable samples: Control Law: Closed-loop Dynamics: 0!"! h u[ k] = Fx[ k! 1] x[ k + 1] = Ax[ k] + BFx[ k! 1] F ischosen s.t. x[ k] " 0 if k "!
74 Control with stable and unstable Samples Sensor: x[k] x[0] x[1] x[2] x[3] x[4] x[5] $ % " # h! = 1 $ % " # h! = 1 $ % " # h! = 1 $ % " # h! = 2 $ % " # h! = 1 $ % " # h! = 1 Actuator: u[k] -- f(x[0]) f(x[1]) f(x[2]) f(x[2]) f(x[4]) Sampling instant: k 0 stable stable stable unstable stable Proposed Control $! Fx[ k * 1] u[ k] = #! ) + 0 if! " ( h ' & Scheme: if % 1, ) + ( h or ' & = 1 or unstable stable samples samples time
75 Asymptotic Stability The distributed control application is asymptotically stable as long as the ratio between number of stable and unstable samples is greater than or equal to certain upper bound, i.e., the condition for guaranteed asymptotic stability is (! is a positive integer) number of stable samples number of unstable samples! µ 1 Therefore, we allow a fraction µ of samples to be unstable or violate the deadlines but still guarantee asymptotic stability!
76 +,-./0" Intuitive Proof "9:"2;-"<9,2.95"1012-="81"431->"9,"2;-":3<2"2;32"2;-"" +,-./0">-<.-31-1"-A-,"8:"2;-.-"81"59<35"8,<.-31-"" 8,"-,-./0"4-<361-"9:"6,12345-"13=B5-1" " 6,12345-"! = 2! = 3 $ % " & = # h!!! =1! = 1! =1!" #" $" %" &" '" (" )" *"!"#$%&'()*+ (
77 Intuitive Proof Illustration "! Does exist for any discrete-time system?!! Yes. Let u assume the closed-loop dynamics at: Stable samples: Unstable samples: As the closed-loop dynamics is stable at the stable samples, What happens if one unstable sample occurs after Resultant Dynamics stable samples? Therefore, and the system is stable 7 7
78 Example: Control over FlexRay ) & ) 0.1& Plant : x[ k + 1] = ' $ x[ k] ' 0.7 $ ' # # # $ + ' $ u[ k] '( # 3.6 # 1.2 # 2.8 $ % '( 0.5$ % Open # loop Poles: [# 1.57, # 1.4, # ], Highly Unstable System Plant Controller : u[ k] = Fx[ k # 1] = [# Design Goal ( stability) : x[ k] " 0 as k "! Sampling Interval : 40ms # # ] x[ k # 1] We have found that the closed-loop system with the above Controller is stable as long as the ratio between the number of stable and unstable samples µ! 52
79 Scheduling: Example 1 Stable Example: We choose a schedule such that µ =! C55"13=B5-1""-DB-.8-,<-">-530"5-11"2;3,"" &!"=1E"8F-FE">-530"8,"2-.=1"9:"13=B5-1"81"#" 7012-="81"12345-"31"" x[ k] " 0 as k "!
80 Scheduling: Example 2 Stable Example: We choose a schedule such that µ = "13=B5-1" G,12345-"13=B5-1" 7012-="81"12345-"31"" x[ k] " 0 as k "! H-.238,"91<8553@9,1">6-"29"2;-"B.-1-,<-" 9:"6,12345-"13=B5-1"
81 Scheduling: Example 3 Unstable Example: We choose a schedule such that µ = "13=B5-1" G,12345-"13=B5-1" 7012-="81"6,12345-"31"" x [ k] "! as k "!
82 Applications Model Current Design Flow! High-level requirements HW/SW architecture Multiple processor units (PUs) connected via a shared bus Unreliable hardware soft-errors, aging,! m 1 m 2 T 1 T 2 T 3 T 4 Fixed-precision arithmetic Delay / jitter message loss Controller design Code synthesis & Task partitioning Task mapping Task and Message scheduling 8 2
83 Open Issues! Integration of control theory, program analysis, embedded systems modeling & analysis! How to synthesize implementation platform & software that minimizes error?! Cross-layer modeling & optimization techniques necessary (interplay between delay & numerical accuracy)! Open issues in hardware/circuit design! dynamically adjust precision during runtime or based on plant state (using reconfigurable computing)! harden hardware components to reduce soft-error rates 8 3
84 Concluding Remarks!! Viewing cyber-physical systems not as traditional real-time systems!! Breaks traditional concepts of abstraction?!! Current practice:!! Specify control laws!! Specify architecture and schedules!! Test and debug (modify architecture and schedule)!! Problem:!! Synthesize the architecture/schedule from control performance constraints!! Large constrained optimization problem 8 4
From Control Loops to Software
CNRS-VERIMAG Grenoble, France October 2006 Executive Summary Embedded systems realization of control systems by computers Computers are the major medium for realizing controllers There is a gap between
More informationMobile Networking Tutorial
Dynamically Managing the Real-time Fabric of a Wireless Sensor-Actuator Network Award No: CNS-09-31195 Duration: Sept. 1 2009 - Aug. 31 2012 M.D. Lemmon, Univ. of Notre Dame (PI) S.X. Hu, Univ. of Notre
More informationEDUMECH Mechatronic Instructional Systems. Ball on Beam System
EDUMECH Mechatronic Instructional Systems Ball on Beam System Product of Shandor Motion Systems Written by Robert Hirsch Ph.D. 998-9 All Rights Reserved. 999 Shandor Motion Systems, Ball on Beam Instructional
More informationELECTRICAL ENGINEERING
EE ELECTRICAL ENGINEERING See beginning of Section H for abbreviations, course numbers and coding. The * denotes labs which are held on alternate weeks. A minimum grade of C is required for all prerequisite
More informationdspace DSP DS-1104 based State Observer Design for Position Control of DC Servo Motor
dspace DSP DS-1104 based State Observer Design for Position Control of DC Servo Motor Jaswandi Sawant, Divyesh Ginoya Department of Instrumentation and control, College of Engineering, Pune. ABSTRACT This
More informationDCMS DC MOTOR SYSTEM User Manual
DCMS DC MOTOR SYSTEM User Manual release 1.3 March 3, 2011 Disclaimer The developers of the DC Motor System (hardware and software) have used their best efforts in the development. The developers make
More informationChapter 9: Controller design
Chapter 9. Controller Design 9.1. Introduction 9.2. Effect of negative feedback on the network transfer functions 9.2.1. Feedback reduces the transfer function from disturbances to the output 9.2.2. Feedback
More informationUnderstanding Poles and Zeros
MASSACHUSETTS INSTITUTE OF TECHNOLOGY DEPARTMENT OF MECHANICAL ENGINEERING 2.14 Analysis and Design of Feedback Control Systems Understanding Poles and Zeros 1 System Poles and Zeros The transfer function
More informationTechnical Guide No. 100. High Performance Drives -- speed and torque regulation
Technical Guide No. 100 High Performance Drives -- speed and torque regulation Process Regulator Speed Regulator Torque Regulator Process Technical Guide: The illustrations, charts and examples given in
More information19 LINEAR QUADRATIC REGULATOR
19 LINEAR QUADRATIC REGULATOR 19.1 Introduction The simple form of loopshaping in scalar systems does not extend directly to multivariable (MIMO) plants, which are characterized by transfer matrices instead
More informationC21 Model Predictive Control
C21 Model Predictive Control Mark Cannon 4 lectures Hilary Term 216-1 Lecture 1 Introduction 1-2 Organisation 4 lectures: week 3 week 4 { Monday 1-11 am LR5 Thursday 1-11 am LR5 { Monday 1-11 am LR5 Thursday
More informationIEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 56, NO. 10, OCTOBER 2011 2345
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL 56, NO 10, OCTOBER 2011 2345 Compositional Modeling and Analysis of Multi-Hop Control Networks Rajeev Alur, Fellow, IEEE, Alessandro D Innocenzo, Karl H Johansson,
More informationReliability Guarantees in Automata Based Scheduling for Embedded Control Software
1 Reliability Guarantees in Automata Based Scheduling for Embedded Control Software Santhosh Prabhu, Aritra Hazra, Pallab Dasgupta Department of CSE, IIT Kharagpur West Bengal, India - 721302. Email: {santhosh.prabhu,
More informationContents. Introduction. Introduction and Motivation Embedded Systems (ES) Content of Lecture Organisational
Introduction Dipl.-Inf. Mirko Caspar Version: 10.01.V.r-1.0-100928 Contents Introduction and Motivation Embedded Systems (ES) characterisation mechatronics requirements classification Content of Lecture
More information4. Fixed-Priority Scheduling
Simple workload model 4. Fixed-Priority Scheduling Credits to A. Burns and A. Wellings The application is assumed to consist of a fixed set of tasks All tasks are periodic with known periods This defines
More informationMathematical Modeling and Dynamic Simulation of a Class of Drive Systems with Permanent Magnet Synchronous Motors
Applied and Computational Mechanics 3 (2009) 331 338 Mathematical Modeling and Dynamic Simulation of a Class of Drive Systems with Permanent Magnet Synchronous Motors M. Mikhov a, a Faculty of Automatics,
More informationLecture 13 Linear quadratic Lyapunov theory
EE363 Winter 28-9 Lecture 13 Linear quadratic Lyapunov theory the Lyapunov equation Lyapunov stability conditions the Lyapunov operator and integral evaluating quadratic integrals analysis of ARE discrete-time
More informationOnline Tuning of Artificial Neural Networks for Induction Motor Control
Online Tuning of Artificial Neural Networks for Induction Motor Control A THESIS Submitted by RAMA KRISHNA MAYIRI (M060156EE) In partial fulfillment of the requirements for the award of the Degree of MASTER
More informationPart IB Paper 6: Information Engineering LINEAR SYSTEMS AND CONTROL Dr Glenn Vinnicombe HANDOUT 3. Stability and pole locations.
Part IB Paper 6: Information Engineering LINEAR SYSTEMS AND CONTROL Dr Glenn Vinnicombe HANDOUT 3 Stability and pole locations asymptotically stable marginally stable unstable Imag(s) repeated poles +
More informationMethods and Tools For Embedded Distributed System Scheduling and Schedulability Analysis
Methods and Tools For Embedded Distributed System Scheduling and Schedulability Analysis Steve Vestal Honeywell Labs Steve.Vestal@Honeywell.com 18 October 2005 Outline Background Binding and Routing Scheduling
More informationReal-Time Component Software. slide credits: H. Kopetz, P. Puschner
Real-Time Component Software slide credits: H. Kopetz, P. Puschner Overview OS services Task Structure Task Interaction Input/Output Error Detection 2 Operating System and Middleware Applica3on So5ware
More informationOutline Servo Control
Outline Servo Control Servo-Motor Drivers Control Modes orque Capability Servo-control Systems Direct/Indirect Control System Control Algorithm Implementation Controller Design by Emulation Discretization
More informationControl Systems with Actuator Saturation
Control Systems with Actuator Saturation Analysis and Design Tingshu Hu Zongli Lin With 67 Figures Birkhauser Boston Basel Berlin Preface xiii 1 Introduction 1 1.1 Linear Systems with Actuator Saturation
More informationMicrocontroller-based experiments for a control systems course in electrical engineering technology
Microcontroller-based experiments for a control systems course in electrical engineering technology Albert Lozano-Nieto Penn State University, Wilkes-Barre Campus, Lehman, PA, USA E-mail: AXL17@psu.edu
More informationPredictable response times in event-driven real-time systems
Predictable response times in event-driven real-time systems Automotive 2006 - Security and Reliability in Automotive Systems Stuttgart, October 2006. Presented by: Michael González Harbour mgh@unican.es
More informationAdvanced Operating Systems (M) Dr Colin Perkins School of Computing Science University of Glasgow
Advanced Operating Systems (M) Dr Colin Perkins School of Computing Science University of Glasgow Rationale Radical changes to computing landscape; Desktop PC becoming irrelevant Heterogeneous, multicore,
More informationEE 402 RECITATION #13 REPORT
MIDDLE EAST TECHNICAL UNIVERSITY EE 402 RECITATION #13 REPORT LEAD-LAG COMPENSATOR DESIGN F. Kağan İPEK Utku KIRAN Ç. Berkan Şahin 5/16/2013 Contents INTRODUCTION... 3 MODELLING... 3 OBTAINING PTF of OPEN
More informationG(s) = Y (s)/u(s) In this representation, the output is always the Transfer function times the input. Y (s) = G(s)U(s).
Transfer Functions The transfer function of a linear system is the ratio of the Laplace Transform of the output to the Laplace Transform of the input, i.e., Y (s)/u(s). Denoting this ratio by G(s), i.e.,
More informationScicos is a Scilab toolbox included in the Scilab package. The Scicos editor can be opened by the scicos command
7 Getting Started 7.1 Construction of a Simple Diagram Scicos contains a graphical editor that can be used to construct block diagram models of dynamical systems. The blocks can come from various palettes
More informationECE 3510 Final given: Spring 11
ECE 50 Final given: Spring This part of the exam is Closed book, Closed notes, No Calculator.. ( pts) For each of the time-domain signals shown, draw the poles of the signal's Laplace transform on the
More informationCSEN301 Embedded Systems Trimester 1
Victoria University of Wellington (VUW) course offering for NZ-EU Joint Mobility Project Novel Sensing Technologies and Instrumentation in Environmental Climate Change Monitoring 1. General The Victoria
More informationChapter 11 Current Programmed Control
Chapter 11 Current Programmed Control Buck converter v g i s Q 1 D 1 L i L C v R The peak transistor current replaces the duty cycle as the converter control input. Measure switch current R f i s Clock
More informationPredictive Control Algorithms: Stability despite Shortened Optimization Horizons
Predictive Control Algorithms: Stability despite Shortened Optimization Horizons Philipp Braun Jürgen Pannek Karl Worthmann University of Bayreuth, 9544 Bayreuth, Germany University of the Federal Armed
More informationDesigning Fluctronic Real-Time Systems
Journal of Real-Time Systems, Special Issue on Control-Theoretical Approaches to Real-Time Computing Feedback Control Real-Time Scheduling: Framework, Modeling, and Algorithms * Chenyang Lu John A. Stankovic
More informationMotor Control. Suppose we wish to use a microprocessor to control a motor - (or to control the load attached to the motor!) Power supply.
Motor Control Suppose we wish to use a microprocessor to control a motor - (or to control the load attached to the motor!) Operator Input CPU digital? D/A, PWM analog voltage Power supply Amplifier linear,
More informationExample 4.1 (nonlinear pendulum dynamics with friction) Figure 4.1: Pendulum. asin. k, a, and b. We study stability of the origin x
Lecture 4. LaSalle s Invariance Principle We begin with a motivating eample. Eample 4.1 (nonlinear pendulum dynamics with friction) Figure 4.1: Pendulum Dynamics of a pendulum with friction can be written
More informationPOTENTIAL OF STATE-FEEDBACK CONTROL FOR MACHINE TOOLS DRIVES
POTENTIAL OF STATE-FEEDBACK CONTROL FOR MACHINE TOOLS DRIVES L. Novotny 1, P. Strakos 1, J. Vesely 1, A. Dietmair 2 1 Research Center of Manufacturing Technology, CTU in Prague, Czech Republic 2 SW, Universität
More informationDesigning Event-Controlled Continuous Processing Systems Class 325
Designing Event-Controlled Continuous Processing Systems Class 325 by Hans Peter Jepsen, Danfoss Drives and Finn Overgaard Hansen, Engineering College of Aarhus hans_peter_jepsen@danfoss.com foh@e.iha.dk
More informationMECE 102 Mechatronics Engineering Orientation
MECE 102 Mechatronics Engineering Orientation Mechatronic System Components Associate Prof. Dr. of Mechatronics Engineering Çankaya University Compulsory Course in Mechatronics Engineering Credits (2/0/2)
More informationComputer Networks and Internets, 5e Chapter 6 Information Sources and Signals. Introduction
Computer Networks and Internets, 5e Chapter 6 Information Sources and Signals Modified from the lecture slides of Lami Kaya (LKaya@ieee.org) for use CECS 474, Fall 2008. 2009 Pearson Education Inc., Upper
More informationUsing the Theory of Reals in. Analyzing Continuous and Hybrid Systems
Using the Theory of Reals in Analyzing Continuous and Hybrid Systems Ashish Tiwari Computer Science Laboratory (CSL) SRI International (SRI) Menlo Park, CA 94025 Email: ashish.tiwari@sri.com Ashish Tiwari
More informationPID Control. Chapter 10
Chapter PID Control Based on a survey of over eleven thousand controllers in the refining, chemicals and pulp and paper industries, 97% of regulatory controllers utilize PID feedback. Desborough Honeywell,
More informationThe Temporal Firewall--A Standardized Interface in the Time-Triggered Architecture
1 The Temporal Firewall--A Standardized Interface in the Time-Triggered Architecture H. Kopetz TU Vienna, Austria July 2000 Outline 2 Introduction Temporal Accuracy of RT Information The Time-Triggered
More information3.1 State Space Models
31 State Space Models In this section we study state space models of continuous-time linear systems The corresponding results for discrete-time systems, obtained via duality with the continuous-time models,
More informationLecture 8 : Dynamic Stability
Lecture 8 : Dynamic Stability Or what happens to small disturbances about a trim condition 1.0 : Dynamic Stability Static stability refers to the tendency of the aircraft to counter a disturbance. Dynamic
More informationControl System Definition
Control System Definition A control system consist of subsytems and processes (or plants) assembled for the purpose of controlling the outputs of the process. For example, a furnace produces heat as a
More informationQNET Experiment #06: HVAC Proportional- Integral (PI) Temperature Control Heating, Ventilation, and Air Conditioning Trainer (HVACT)
Quanser NI-ELVIS Trainer (QNET) Series: QNET Experiment #06: HVAC Proportional- Integral (PI) Temperature Control Heating, Ventilation, and Air Conditioning Trainer (HVACT) Student Manual Table of Contents
More informationFrom Control Loops to Real-Time Programs
From Control Loops to Real-Time Programs Paul Caspi and Oded Maler Verimag-CNRS 2, av. de Vignate 38610 Gires France www-verimag.imag.fr Paul.Caspi@imag.fr Oded.Maler@imag.fr 1 Introduction This article
More informationDesign Methods for Control Systems
Design Methods for Control Systems Okko H. Bosgra Delft University of Technology Delft, The Netherlands Huibert Kwakernaak Emeritus Professor University of Twente Enschede, The Netherlands Gjerrit Meinsma
More informationWireless Control Networks Modeling, Synthesis, Robustness, Security
Wireless Control Networks Modeling, Synthesis, Robustness, Security The image cannot be displayed. Your computer may not have enough memory to open the image, or the image may have been corrupted. Restart
More informationSECTION 19 CONTROL SYSTEMS
Christiansen-Sec.9.qxd 6:8:4 6:43 PM Page 9. The Electronics Engineers' Handbook, 5th Edition McGraw-Hill, Section 9, pp. 9.-9.3, 5. SECTION 9 CONTROL SYSTEMS Control is used to modify the behavior of
More informationMotor Control Application Tuning (MCAT) Tool for 3-Phase PMSM
Freescale Semiconductor Document Number:AN4642 Application Note Rev. 1, 01/2013 Motor Control Application Tuning (MCAT) Tool for 3-Phase PMSM by: Marek Stulrajter, Pavel Sustek 1 Introduction This application
More informationLecture Outline Overview of real-time scheduling algorithms Outline relative strengths, weaknesses
Overview of Real-Time Scheduling Embedded Real-Time Software Lecture 3 Lecture Outline Overview of real-time scheduling algorithms Clock-driven Weighted round-robin Priority-driven Dynamic vs. static Deadline
More informationOn real-time delay monitoring in software-defined networks
On real-time delay monitoring in software-defined networks Victor S. Altukhov Lomonosov Moscow State University Moscow, Russia victoralt@lvk.cs.msu.su Eugene V. Chemeritskiy Applied Research Center for
More informationLinear-Quadratic Optimal Controller 10.3 Optimal Linear Control Systems
Linear-Quadratic Optimal Controller 10.3 Optimal Linear Control Systems In Chapters 8 and 9 of this book we have designed dynamic controllers such that the closed-loop systems display the desired transient
More informationManufacturing Equipment Modeling
QUESTION 1 For a linear axis actuated by an electric motor complete the following: a. Derive a differential equation for the linear axis velocity assuming viscous friction acts on the DC motor shaft, leadscrew,
More informationW a d i a D i g i t a l
Wadia Decoding Computer Overview A Definition What is a Decoding Computer? The Wadia Decoding Computer is a small form factor digital-to-analog converter with digital pre-amplifier capabilities. It is
More informationScheduling Real-time Tasks: Algorithms and Complexity
Scheduling Real-time Tasks: Algorithms and Complexity Sanjoy Baruah The University of North Carolina at Chapel Hill Email: baruah@cs.unc.edu Joël Goossens Université Libre de Bruxelles Email: joel.goossens@ulb.ac.be
More informationEðlisfræði 2, vor 2007
[ Assignment View ] [ Print ] Eðlisfræði 2, vor 2007 30. Inductance Assignment is due at 2:00am on Wednesday, March 14, 2007 Credit for problems submitted late will decrease to 0% after the deadline has
More informationLOOP TRANSFER RECOVERY FOR SAMPLED-DATA SYSTEMS 1
LOOP TRANSFER RECOVERY FOR SAMPLED-DATA SYSTEMS 1 Henrik Niemann Jakob Stoustrup Mike Lind Rank Bahram Shafai Dept. of Automation, Technical University of Denmark, Building 326, DK-2800 Lyngby, Denmark
More informationSchool of Technology Field of study Electrical Engineering (0714)
AUTUMN SEMESTER 2016 NOTE! Period Study level ECTS cr Course number Course Attendance required in both semesters Attendance required in both semesters M1 = 1 st year Master M2 = 2 nd year Master 1 M1 6
More informationReal-Time (Paradigms) (51)
Real-Time (Paradigms) (51) 5. Real-Time Communication Data flow (communication) in embedded systems : Sensor --> Controller Controller --> Actor Controller --> Display Controller Controller Major
More informationLoop Analysis. Chapter 7. 7.1 Introduction
Chapter 7 Loop Analysis Quotation Authors, citation. This chapter describes how stability and robustness can be determined by investigating how sinusoidal signals propagate around the feedback loop. The
More informationReal-time Scheduling of Periodic Tasks (1) Advanced Operating Systems Lecture 2
Real-time Scheduling of Periodic Tasks (1) Advanced Operating Systems Lecture 2 Lecture Outline Scheduling periodic tasks The rate monotonic algorithm Definition Non-optimality Time-demand analysis...
More informationHarmonics and Noise in Photovoltaic (PV) Inverter and the Mitigation Strategies
Soonwook Hong, Ph. D. Michael Zuercher Martinson Harmonics and Noise in Photovoltaic (PV) Inverter and the Mitigation Strategies 1. Introduction PV inverters use semiconductor devices to transform the
More informationTEACHING AUTOMATIC CONTROL IN NON-SPECIALIST ENGINEERING SCHOOLS
TEACHING AUTOMATIC CONTROL IN NON-SPECIALIST ENGINEERING SCHOOLS J.A.Somolinos 1, R. Morales 2, T.Leo 1, D.Díaz 1 and M.C. Rodríguez 1 1 E.T.S. Ingenieros Navales. Universidad Politécnica de Madrid. Arco
More informationELECTRICAL ENGINEERING
ELECTRICAL ENGINEERING The master degree programme of Teacher Training in Electronical Engineering is designed to develop graduates competencies in the field of Curriculum Development and Instructional
More informationLoad Balancing and Switch Scheduling
EE384Y Project Final Report Load Balancing and Switch Scheduling Xiangheng Liu Department of Electrical Engineering Stanford University, Stanford CA 94305 Email: liuxh@systems.stanford.edu Abstract Load
More informationInteractive applications to explore the parametric space of multivariable controllers
Milano (Italy) August 28 - September 2, 211 Interactive applications to explore the parametric space of multivariable controllers Yves Piguet Roland Longchamp Calerga Sàrl, Av. de la Chablière 35, 14 Lausanne,
More informationClocking. Figure by MIT OCW. 6.884 - Spring 2005 2/18/05 L06 Clocks 1
ing Figure by MIT OCW. 6.884 - Spring 2005 2/18/05 L06 s 1 Why s and Storage Elements? Inputs Combinational Logic Outputs Want to reuse combinational logic from cycle to cycle 6.884 - Spring 2005 2/18/05
More informationReal-Time Scheduling 1 / 39
Real-Time Scheduling 1 / 39 Multiple Real-Time Processes A runs every 30 msec; each time it needs 10 msec of CPU time B runs 25 times/sec for 15 msec C runs 20 times/sec for 5 msec For our equation, A
More informationTransient analysis of integrated solar/diesel hybrid power system using MATLAB Simulink
Transient analysis of integrated solar/diesel hybrid power system using ATLAB Simulink Takyin Taky Chan School of Electrical Engineering Victoria University PO Box 14428 C, elbourne 81, Australia. Taky.Chan@vu.edu.au
More informationInterconnection Networks
Advanced Computer Architecture (0630561) Lecture 15 Interconnection Networks Prof. Kasim M. Al-Aubidy Computer Eng. Dept. Interconnection Networks: Multiprocessors INs can be classified based on: 1. Mode
More informationReconfigurable Architecture Requirements for Co-Designed Virtual Machines
Reconfigurable Architecture Requirements for Co-Designed Virtual Machines Kenneth B. Kent University of New Brunswick Faculty of Computer Science Fredericton, New Brunswick, Canada ken@unb.ca Micaela Serra
More information(Refer Slide Time: 01:11-01:27)
Digital Signal Processing Prof. S. C. Dutta Roy Department of Electrical Engineering Indian Institute of Technology, Delhi Lecture - 6 Digital systems (contd.); inverse systems, stability, FIR and IIR,
More informationANALYZER BASICS WHAT IS AN FFT SPECTRUM ANALYZER? 2-1
WHAT IS AN FFT SPECTRUM ANALYZER? ANALYZER BASICS The SR760 FFT Spectrum Analyzer takes a time varying input signal, like you would see on an oscilloscope trace, and computes its frequency spectrum. Fourier's
More information4 Lyapunov Stability Theory
4 Lyapunov Stability Theory In this section we review the tools of Lyapunov stability theory. These tools will be used in the next section to analyze the stability properties of a robot controller. We
More informationHow to Turn an AC Induction Motor Into a DC Motor (A Matter of Perspective) Steve Bowling Application Segments Engineer Microchip Technology, Inc.
1 How to Turn an AC Induction Motor Into a DC Motor (A Matter of Perspective) Steve Bowling Application Segments Engineer Microchip Technology, Inc. The territory of high-performance motor control has
More informationAutomotive Software Engineering
Automotive Software Engineering List of Chapters: 1. Introduction and Overview 1.1 The Driver Vehicle Environment System 1.1.1 Design and Method of Operation of Vehicle Electronic 1.1.2 Electronic of the
More informationPeriodic Task Scheduling
Periodic Task Scheduling Radek Pelánek Motivation and Assumptions Examples of Periodic Tasks sensory data acquisition control loops action planning system monitoring Motivation and Assumptions Simplifying
More informationAnalog and Digital Control Systems!
Analog and Digital Control Systems Robert Stengel Robotics and Intelligent Systems MAE 345, Princeton University, 2015 Frequency Response Transfer Functions Bode Plots Root Locus Proportional-Integral-
More informationPC BASED PID TEMPERATURE CONTROLLER
PC BASED PID TEMPERATURE CONTROLLER R. Nisha * and K.N. Madhusoodanan Dept. of Instrumentation, Cochin University of Science and Technology, Cochin 22, India ABSTRACT: A simple and versatile PC based Programmable
More informationFrequency Response of FIR Filters
Frequency Response of FIR Filters Chapter 6 This chapter continues the study of FIR filters from Chapter 5, but the emphasis is frequency response, which relates to how the filter responds to an input
More informationDually Fed Permanent Magnet Synchronous Generator Condition Monitoring Using Stator Current
Summary Dually Fed Permanent Magnet Synchronous Generator Condition Monitoring Using Stator Current Joachim Härsjö, Massimo Bongiorno and Ola Carlson Chalmers University of Technology Energi och Miljö,
More informationSynchronization of sampling in distributed signal processing systems
Synchronization of sampling in distributed signal processing systems Károly Molnár, László Sujbert, Gábor Péceli Department of Measurement and Information Systems, Budapest University of Technology and
More informationSimulation and Analysis of Parameter Identification Techniques for Induction Motor Drive
International Journal of Electronic and Electrical Engineering. ISSN 0974-2174 Volume 7, Number 10 (2014), pp. 1027-1035 International Research Publication House http://www.irphouse.com Simulation and
More information4310/4320 Wireless Position Monitor Burst Configuration and Diagnostics
Instruction Manual Supplement 4310/4320 Wireless Position Monitor 4310/4320 Wireless Position Monitor Burst Configuration and Diagnostics This document applies to: Fisher 4320 Device Type 1308 (hex) 4872
More informationHITACHI INVERTER SJ/L100/300 SERIES PID CONTROL USERS GUIDE
HITACHI INVERTER SJ/L1/3 SERIES PID CONTROL USERS GUIDE After reading this manual, keep it for future reference Hitachi America, Ltd. HAL1PID CONTENTS 1. OVERVIEW 3 2. PID CONTROL ON SJ1/L1 INVERTERS 3
More informationFormulations of Model Predictive Control. Dipartimento di Elettronica e Informazione
Formulations of Model Predictive Control Riccardo Scattolini Riccardo Scattolini Dipartimento di Elettronica e Informazione Impulse and step response models 2 At the beginning of the 80, the early formulations
More informationSPEED CONTROL OF INDUCTION MACHINE WITH REDUCTION IN TORQUE RIPPLE USING ROBUST SPACE-VECTOR MODULATION DTC SCHEME
International Journal of Advanced Research in Engineering and Technology (IJARET) Volume 7, Issue 2, March-April 2016, pp. 78 90, Article ID: IJARET_07_02_008 Available online at http://www.iaeme.com/ijaret/issues.asp?jtype=ijaret&vtype=7&itype=2
More information174: Scheduling Systems. Emil Michta University of Zielona Gora, Zielona Gora, Poland 1 TIMING ANALYSIS IN NETWORKED MEASUREMENT CONTROL SYSTEMS
174: Scheduling Systems Emil Michta University of Zielona Gora, Zielona Gora, Poland 1 Timing Analysis in Networked Measurement Control Systems 1 2 Introduction to Scheduling Systems 2 3 Scheduling Theory
More informationAlgebra 2 Chapter 1 Vocabulary. identity - A statement that equates two equivalent expressions.
Chapter 1 Vocabulary identity - A statement that equates two equivalent expressions. verbal model- A word equation that represents a real-life problem. algebraic expression - An expression with variables.
More informationMapping an Application to a Control Architecture: Specification of the Problem
Mapping an Application to a Control Architecture: Specification of the Problem Mieczyslaw M. Kokar 1, Kevin M. Passino 2, Kenneth Baclawski 1, and Jeffrey E. Smith 3 1 Northeastern University, Boston,
More informationSystem Identification for Acoustic Comms.:
System Identification for Acoustic Comms.: New Insights and Approaches for Tracking Sparse and Rapidly Fluctuating Channels Weichang Li and James Preisig Woods Hole Oceanographic Institution The demodulation
More informationTiming Analysis of Real-Time Software
Timing Analysis of Real-Time Software Raimund Kirner Vienna University of Technology Austria This is joint work with Peter Puschner and the CoSTA and ForTAS project teams. From RTS Design to Implementation
More informationEmbedded Systems 20 BF - ES
Embedded Systems 20-1 - Multiprocessor Scheduling REVIEW Given n equivalent processors, a finite set M of aperiodic/periodic tasks find a schedule such that each task always meets its deadline. Assumptions:
More informationPID Controller Design for Nonlinear Systems Using Discrete-Time Local Model Networks
PID Controller Design for Nonlinear Systems Using Discrete-Time Local Model Networks 4. Workshop für Modellbasierte Kalibriermethoden Nikolaus Euler-Rolle, Christoph Hametner, Stefan Jakubek Christian
More informationThe Heat Equation. Lectures INF2320 p. 1/88
The Heat Equation Lectures INF232 p. 1/88 Lectures INF232 p. 2/88 The Heat Equation We study the heat equation: u t = u xx for x (,1), t >, (1) u(,t) = u(1,t) = for t >, (2) u(x,) = f(x) for x (,1), (3)
More informationExperiences with Interactive Video Using TFRC
Experiences with Interactive Video Using TFRC Alvaro Saurin, Colin Perkins University of Glasgow, Department of Computing Science Ladan Gharai University of Southern California, Information Sciences Institute
More information