RealTime Systems Versus CyberPhysical Systems: Where is the Difference?


 Kelley Stevens
 1 years ago
 Views:
Transcription
1 RealTime Systems Versus CyberPhysical 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!! Fixedprecision arithmetic!! Tasks have nonnegligible execution times!! Often large message delays!! Time and eventtriggered communication 5
6 Controller Design The Design Flow These are implementation details Control theorist Not my problem! Controller Implementation Modellevel 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! Highlevel 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! Highlevel requirements HW/SW architecture Multiple processor units (PUs) connected via a shared bus Unreliable hardware softerrors, aging,! m 1 m 2 T 1 T 2 T 3 T 4 Fixedprecision arithmetic Delay / jitter message loss Controller design Code synthesis & Task partitioning Task mapping Task and Message scheduling 9
10 Current Design Flow! Applications Highlevel requirements T1 m1 T2 HW/SW architecture Multiple processor units (PUs) connected via a shared bus T3 m2 T4 Fixedprecision arithmetic Model Controller design Code synthesis & Task partitioning Delay / jitter message loss Unreliable hardware softerrors, aging,! Task Algorithm & Architecture designed separately mapping followed by integration, testing, debugging,! Task and Message scheduling 10
11 CyberPhysical 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 realtime & embedded systems be directly applied? We know hardware/software codesign!! 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 controlrelated 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 deadlinemisses 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., eventtriggered 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!! Realtime Systems View!! Meeting deadlines is the center of attraction Control performance constraints reduced to satisfaction of realtime constraints!! CPS View!! Deadline takes the back seat!! As a result, the design space becomes bigger!! Resulting design is better, robust, costeffective! 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! Codesign 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 Continuoustime A/D D/A Realtime applications Multimedia applications! Shared Communication Shared Computation Discretetime 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! Inputoutput 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! Statespace model suitable for time domain analysis! Represent the system in terms of a number of internal states
21 Example Computing statespace model (1) System dynamics: (2) Input and output: Output Input (3) States: (4) Statespace 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 Statespace to Transfer Function Statespace 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 statespace 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 ! BoundedInput BoundedOutput (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: continuoustime 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 Statespace 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 statespace model! For ndimensional SingleInputSingleOutput (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 closedloop poles at! Using Ackermann s formula we get! Poles of (A+BK) are at 37
38 Static Feedforward Gain Closedloop 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 ) Continuoustime Hold Sampler system A/D Control Algorithm D/A " digitaltoanalog converter A/D " analogtodigital 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 closedloop poles are at! Using Ackermann s formula: 43
44 Continuous Vs Discrete Time Continuoustime 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 $ = sensortoactuator 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 timetriggered 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 $ $ $ $ Sensortoactuator 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 Realtime 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 fixedpriority scheduling! Solution to a fixed point computation 50
51 Controller design steps for D c < h Continuoustime model ZOH sampling with period h and constant sensortoactuator delay D c Step I New discretetime model: Sampleddata model Step II Controller design based on the sampleddata 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 Sampleddata Model Continuoustime model ZOH sampling with period h and constant sensortoactuator delay D c! Sampleddata model End of Step 1 56
57 Augmented System! We define new system states:! With the new definition of states, the statespace 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 Continuoustime model Sampleddata model Augmented system Controller gains 59
60 A More Complex Case (involves stability analysis of switched systems) 6 0
61 CPSOriented Design Example!! Control over FlexRay!! FlexRay is made up of timetriggered (TT) and eventtriggered (ET) segments!! Conventional design!! Use timetriggered segment for control messages one slot for each control message!! Expensive Challenge: Can we achieve the same control performance with fewer timetriggered slots? 6 1
62 FlexRay Event Vs Timetriggered Asynchronous task Jitter, lost/unused data message x task Synchronous task message task Predictable x 6 2
63 Communication Schedules Timetriggered (TT)!! The temporal behavior is predictable!! The bandwidth utilization is poor!! Availability is limited Eventtriggered (ET)!! The temporal behavior is unpredictable!! The bandwidth utilization is better!! Availability is higher Conventional design: Use TT for controlmessages 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 steadystate "! 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 statefeedback 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 eventtriggered Mixed time/eventtriggered Purely timetriggered 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: Closedloop 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"><.311"A,"8:"2;."81"59<35"8,<.31"" 8,",./0"4<361"9:"6,12345"13=B51" " 6,12345"! = 2! = 3 $ % " & = # h!!! =1! = 1! =1!" #" $" %" &" '" (" )" *"!"#$%&'()*+ (
77 Intuitive Proof Illustration "! Does exist for any discretetime system?!! Yes. Let u assume the closedloop dynamics at: Stable samples: Unstable samples: As the closedloop 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 closedloop 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=B51""DB.8,<">530"511"2;3,"" &!"=1E"8FFE">530"8,"2.=1"9:"13=B51"81"#" 7012="81"12345"31"" x[ k] " 0 as k "!
80 Scheduling: Example 2 Stable Example: We choose a schedule such that µ = "13=B51" G,12345"13=B51" 7012="81"12345"31"" x[ k] " 0 as k "! 9:"6,12345"13=B51"
81 Scheduling: Example 3 Unstable Example: We choose a schedule such that µ = "13=B51" G,12345"13=B51" 7012="81"6,12345"31"" x [ k] "! as k "!
82 Applications Model Current Design Flow! Highlevel requirements HW/SW architecture Multiple processor units (PUs) connected via a shared bus Unreliable hardware softerrors, aging,! m 1 m 2 T 1 T 2 T 3 T 4 Fixedprecision 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?! Crosslayer 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 softerror rates 8 3
84 Concluding Remarks!! Viewing cyberphysical systems not as traditional realtime 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
Contents. Introduction. Introduction and Motivation Embedded Systems (ES) Content of Lecture Organisational
Introduction Dipl.Inf. Mirko Caspar Version: 10.01.V.r1.0100928 Contents Introduction and Motivation Embedded Systems (ES) characterisation mechatronics requirements classification Content of Lecture
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 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 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 informationPOTENTIAL OF STATEFEEDBACK CONTROL FOR MACHINE TOOLS DRIVES
POTENTIAL OF STATEFEEDBACK 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 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 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 informationOn realtime delay monitoring in softwaredefined networks
On realtime delay monitoring in softwaredefined networks Victor S. Altukhov Lomonosov Moscow State University Moscow, Russia victoralt@lvk.cs.msu.su Eugene V. Chemeritskiy Applied Research Center for
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 informationRealTime (Paradigms) (51)
RealTime (Paradigms) (51) 5. RealTime Communication Data flow (communication) in embedded systems : Sensor > Controller Controller > Actor Controller > Display Controller Controller Major
More informationCurrent Loop Tuning Procedure. Servo Drive Current Loop Tuning Procedure (intended for Analog input PWM output servo drives) General Procedure AN015
Servo Drive Current Loop Tuning Procedure (intended for Analog input PWM output servo drives) The standard tuning values used in ADVANCED Motion Controls drives are conservative and work well in over 90%
More informationEXIT TIME PROBLEMS AND ESCAPE FROM A POTENTIAL WELL
EXIT TIME PROBLEMS AND ESCAPE FROM A POTENTIAL WELL Exit Time problems and Escape from a Potential Well Escape From a Potential Well There are many systems in physics, chemistry and biology that exist
More informationPower supplies. EE328 Power Electronics Assoc. Prof. Dr. Mutlu BOZTEPE Ege University, Dept. of E&E
Power supplies EE328 Power Electronics Assoc. Prof. Dr. Mutlu BOZTEPE Ege University, Dept. of E&E EE328 POWER ELECTRONICS Outline of lecture Introduction to power supplies Modelling a power transformer
More informationFeedback Autonomic Provisioning for guaranteeing performance (and reliability.  application to Big Data Systems
Feedback Autonomic Provisioning for guaranteeing performance (and reliability)  application to Big Data Systems Bogdan Robu bogdan.robu@gipsalab.fr HIPEAC  HPES Workshop Amsterdam 1921.01.2015 Context
More informationHIPEAC 2015. Segregation of Subsystems with Different Criticalities on Networked MultiCore Chips in the DREAMS Architecture
HIPEAC 2015 Segregation of Subsystems with Different Criticalities on Networked MultiCore Chips in the DREAMS Architecture University of Siegen Roman Obermaisser Overview MixedCriticality Systems Modular
More informationCyberPhysical Security in Power Networks
CyberPhysical Security in Power Networks Fabio Pasqualetti Florian Dörfler Francesco Bullo Center for Control, Dynamical Systems & Computation University of California at Santa Barbara http://motion.me.ucsb.edu
More informationImag Axis. 80 60 40 20 0 20 40 60 80 Real Axis
. Electromagnetic Levitation System : An Experimental Approach H. D. Taghirad, M. Abrishamchian, R. Ghabcheloo K. N. Toosi University of Technology Department of Electrical Engineering Tehran, Iran Abstract
More informationfakultät für informatik informatik 12 technische universität dortmund Data flow models Peter Marwedel Informatik 12 TU Dortmund Germany
12 Data flow models Peter Marwedel Informatik 12 TU Dortmund Germany Models of computation considered in this course Communication/ local computations Communicating finite state machines Data flow model
More informationDetermination of Load Angle for Salientpole Synchronous Machine
.478/v488 MEASUREMENT SCIENCE REVIEW, Volume, No. 3, Determination of Load Angle for Salientpole Synchronous Machine D. Sumina, A. Šala, R. Malarić 3 Faculty of electrical engineering and computing,
More informationImpedance 50 (75 connectors via adapters)
VECTOR NETWORK ANALYZER PLANAR TR1300/1 DATA SHEET Frequency range: 300 khz to 1.3 GHz Measured parameters: S11, S21 Dynamic range of transmission measurement magnitude: 130 db Measurement time per point:
More informationOptimal Design of αβ(γ) Filters
Optimal Design of (γ) Filters Dirk Tenne Tarunraj Singh, Center for Multisource Information Fusion State University of New York at Buffalo Buffalo, NY 426 Abstract Optimal sets of the smoothing parameter
More informationA PCBASED TIME INTERVAL COUNTER WITH 200 PS RESOLUTION
35'th Annual Precise Time and Time Interval (PTTI) Systems and Applications Meeting San Diego, December 24, 2003 A PCBASED TIME INTERVAL COUNTER WITH 200 PS RESOLUTION Józef Kalisz and Ryszard Szplet
More informationDiscreteTime Signals and Systems
2 DiscreteTime Signals and Systems 2.0 INTRODUCTION The term signal is generally applied to something that conveys information. Signals may, for example, convey information about the state or behavior
More informationBlackbox Performance Models for Virtualized Web. Danilo Ardagna, Mara Tanelli, Marco Lovera, Li Zhang ardagna@elet.polimi.it
Blackbox Performance Models for Virtualized Web Service Applications Danilo Ardagna, Mara Tanelli, Marco Lovera, Li Zhang ardagna@elet.polimi.it Reference scenario 2 Virtualization, proposed in early
More informationIntroduction the Serial Communications Huang Sections 9.2, 10.2 SCI Block User Guide SPI Block User Guide
Introduction the Serial Communications Huang Sections 9.2, 10.2 SCI Block User Guide SPI Block User Guide Parallel Data Transfer Suppose you need to transfer data from one HCS12 to another. How can you
More informationPROGETTO DI SISTEMI ELETTRONICI DIGITALI. Digital Systems Design. Digital Circuits Advanced Topics
PROGETTO DI SISTEMI ELETTRONICI DIGITALI Digital Systems Design Digital Circuits Advanced Topics 1 Sequential circuit and metastability 2 Sequential circuit  FSM A Sequential circuit contains: Storage
More informationOscillation Monitoring System
Oscillation Monitoring System Mani V. Venkatasubramanian Washington State University Pullman WA Oscillation Monitoring System IEEE C37.118 Realtime PMU data stream TCP or UDP OpenPDC OMS SQL server OMS
More informationEvaluating AC Current Sensor Options for Power Delivery Systems
Evaluating AC Current Sensor Options for Power Delivery Systems Stateoftheart isolated ac current sensors based on CMOS technology can increase efficiency, performance and reliability compared to legacy
More informationVehicle data acquisition using CAN By Henning Olsson, OptimumG henning.olsson@optimumg.com
Vehicle data acquisition using By Henning Olsson, OptimumG henning.olsson@optimumg.com Introduction: Data acquisition is one of the best tools to increase the understanding of vehicle behavior. One can
More informationCritical points of once continuously differentiable functions are important because they are the only points that can be local maxima or minima.
Lecture 0: Convexity and Optimization We say that if f is a once continuously differentiable function on an interval I, and x is a point in the interior of I that x is a critical point of f if f (x) =
More informationTransmissão em Corrente Contínua
Transmissão em Corrente Contínua Panorama Atual e Perspectivas Futuras no Brasil MultiTerminal HVDC Classic Some Considerations Brazilian SC B4 Paulo Fischer de Toledo, ABB Basic considerations Traditional
More informationEE 42/100 Lecture 24: Latches and Flip Flops. Rev B 4/21/2010 (2:04 PM) Prof. Ali M. Niknejad
A. M. Niknejad University of California, Berkeley EE 100 / 42 Lecture 24 p. 1/20 EE 42/100 Lecture 24: Latches and Flip Flops ELECTRONICS Rev B 4/21/2010 (2:04 PM) Prof. Ali M. Niknejad University of California,
More informationSolar Tracking Application
Solar Tracking Application A Rockwell Automation White Paper Solar trackers are devices used to orient photovoltaic panels, reflectors, lenses or other optical devices toward the sun. Since the sun s position
More informationAVX EMI SOLUTIONS Ron Demcko, Fellow of AVX Corporation Chris Mello, Principal Engineer, AVX Corporation Brian Ward, Business Manager, AVX Corporation
AVX EMI SOLUTIONS Ron Demcko, Fellow of AVX Corporation Chris Mello, Principal Engineer, AVX Corporation Brian Ward, Business Manager, AVX Corporation Abstract EMC compatibility is becoming a key design
More informationFast and Accurate Test of Mobile Phone Boards
Products: R&S FSP Fast and Accurate Test of Mobile Phone Boards Short test times in conjunction with accurate and repeatable measurement results are essential when testing and calibrating mobile phones
More informationSystem Protection Schemes in Eastern Denmark
System Protection Schemes in Eastern Denmark Joana Rasmussen COWI A/S, Energy Department System Protection Schemes in Eastern Denmark 1.Advanced system protection schemes are investigated and perspectives
More informationBASIC CONCEPTS AND RELATED WORK
Chapter 2 BASIC CONCEPTS AND RELATED WORK This chapter presents the basic concepts and terminology used in this book and gives an overview of system architectures for ultradependable, distributed realtime
More informationSistemas com saturação no controle  VII. VII. Discussões e extensões
1 Sistemas com saturação no controle VII. Discussões e extensões Sophie Tarbouriech LAAS  CNRS, Toulouse, France Colaboradores principais : J.M. Gomes da Silva Jr (UFRGS), G. Garcia (LAASCNRS), I. Queinnec
More informationInstruction Manual Service Program ULTRAPROGIR
Instruction Manual Service Program ULTRAPROGIR Parameterizing Software for Ultrasonic Sensors with Infrared Interface Contents 1 Installation of the Software ULTRAPROGIR... 4 1.1 System Requirements...
More information! Solve problem to optimality. ! Solve problem in polytime. ! Solve arbitrary instances of the problem. #approximation algorithm.
Approximation Algorithms 11 Approximation Algorithms Q Suppose I need to solve an NPhard problem What should I do? A Theory says you're unlikely to find a polytime algorithm Must sacrifice one of three
More informationLM118/LM218/LM318 Operational Amplifiers
LM118/LM218/LM318 Operational Amplifiers General Description The LM118 series are precision high speed operational amplifiers designed for applications requiring wide bandwidth and high slew rate. They
More informationGoal We want to know. Introduction. What is VoIP? Carrier Grade VoIP. What is Meant by CarrierGrade? What is Meant by VoIP? Why VoIP?
Goal We want to know Introduction What is Meant by CarrierGrade? What is Meant by VoIP? Why VoIP? VoIP Challenges 2 Carrier Grade VoIP Carrier grade Extremely high availability 99.999% reliability (high
More informationIntegration of FlexRaybased control units in existing test benches
Integration of FlexRaybased control units in existing test benches Authors: Roland Bacher, BMW Group Munich Herbert Haas, BMW Group Munich Martin Simons, IXXAT Automation Weingarten Today, measuring and
More informationU.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009. Notes on Algebra
U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009 Notes on Algebra These notes contain as little theory as possible, and most results are stated without proof. Any introductory
More informationRolle s Theorem. q( x) = 1
Lecture 1 :The Mean Value Theorem We know that constant functions have derivative zero. Is it possible for a more complicated function to have derivative zero? In this section we will answer this question
More informationGiotto: A TimeTriggered Language for Embedded Programming
Giotto: A TimeTriggered Language for Embedded Programming THOMAS A HENZINGER, MEMBER, IEEE, BENJAMIN HOROWITZ, MEMBER, IEEE, AND CHRISTOPH M KIRSCH Invited Paper Giotto provides an abstract programmer
More informationVLT AutomationDrive for Marine winch applications
MAKING MODERN LIVING POSSIBLE VLT APPLICATION NOTE VLT AutomationDrive for Marine winch applications This Application note is meant to be a guideline for using Danfoss VLT AutomationDrive in winch applications.
More informationTURBOtech srl. SED635 Digital Excitation System. Industrial Electronics Sector FEATURES
SED635 Digital Excitation System SED635 is a complete excitation system capable of adapting to control synchronous generators of any size. The integration of the TOUCH SCREEN operator interface and a
More informationEffective: September 10, 2006 Vermont Attachment 1 to Rule 5.500 Public Service Board Page 1 of 6
Public Service Board Page 1 of 6 STANDARD APPLICATION FOR INTERCONNECTION OF GENERATION RESOURCES IN PARALLEL TO THE ELECTRIC SYSTEM OF: (Interconnecting Utility) Preamble and Instructions: An owner of
More informationBUILD VERSUS BUY. Understanding the Total Cost of Embedded Design. www.ni.com/buildvsbuy
BUILD VERSUS BUY Understanding the Total Cost of Embedded Design Table of Contents I. Introduction II. The Build Approach: Custom Design a. Hardware Design b. Software Design c. Manufacturing d. System
More informationVoIP Timing and Synchronization Best Practices
Best Practices A Brilliant Telecommunications White Paper December 2006 Introduction The explosive adoption of packet based networks from circuit switched (i.e. PSTN) continues to change the networking
More informationSimulink Modeling Guidelines for HighIntegrity Systems
Simulink Modeling Guidelines for HighIntegrity Systems R2015a How to Contact MathWorks Latest news: www.mathworks.com Sales and services: www.mathworks.com/sales_and_services User community: www.mathworks.com/matlabcentral
More informationFeedback Control Theory
Feedback Control Theory John Doyle, Bruce Francis, Allen Tannenbaum c Macmillan Publishing Co., 1990 Contents Preface iii 1 Introduction 1 1.1 Issues in Control System Design.............................
More informationSecurity and Vulnerability of CyberPhysical Infrastructure Networks: A ControlTheoretic Approach
C H A P T E R 1 Security and Vulnerability of CyberPhysical Infrastructure Networks: A ControlTheoretic Approach Mengran Xue, Sandip Roy, Yan Wan, Sajal K. Das 1.1. INTRODUCTION The purpose of this chapter
More informationInternet Flow Control  Improving on TCP
Internet Flow Control  Improving on TCP Glynn Rogers The Team  Jonathan Chan, Fariza Sabrina, and Darwin Agahari CSIRO ICT Centre Why Bother?  Isn t TCP About as Good as It Gets?! Well, TCP is a very
More informationHarmonic Drive acutator P r e c i s i o n G e a r i n g & M o t i o n C o n t r o l
D C S e r v o S y s t e m s RH Mini Series Total Motion Control Harmonic Drive acutator P r e c i s i o n G e a r i n g & M o t i o n C o n t r o l Precision Gearing & Motion Control DC SERVO ACTUATORS
More informationPull versus Push Mechanism in Large Distributed Networks: Closed Form Results
Pull versus Push Mechanism in Large Distributed Networks: Closed Form Results Wouter Minnebo, Benny Van Houdt Dept. Mathematics and Computer Science University of Antwerp  iminds Antwerp, Belgium Wouter
More information2.1 CAN Bit Structure The Nominal Bit Rate of the network is uniform throughout the network and is given by:
Order this document by /D CAN Bit Timing Requirements by Stuart Robb East Kilbride, Scotland. 1 Introduction 2 CAN Bit Timing Overview The Controller Area Network (CAN) is a serial, asynchronous, multimaster
More informationBus Scheduling for TDL Components
Bus Scheduling for TDL Components Emilia Farcas, Wolfgang Pree, and Josef Templ Department of Computer Science, University of Salzburg, Austria firstname.lastname@cs.unisalzburg.at Abstract. This paper
More information6ES73135BF030AB0. Supply voltages Rated value 24 V DC Yes permissible range, upper limit (DC) circuit breaker type B, min. 4 A
6ES73135BF030AB0 Page 1 Product data sheet 6ES73135BF030AB0 SIMATIC S7300, CPU 313C, COMPACT CPU WITH MPI, 24 DI/16 DO, 4AI, 2AO 1 PT100, 3 FAST COUNTERS (30 KHZ), INTEGRATED 24V DC POWER SUPPLY,
More informationAn Ultralow low energy asynchronous processor for Wireless Sensor Networks
An Ultralow low energy asynchronous processor for Wireless Sensor Networks.Necchi,.avagno, D.Pandini,.Vanzago Politecnico di Torino ST Microelectronics Wireless Sensor Networks  Adhoc wireless networks
More informationCURRENT wireless personal communication systems are
Efficient Radio Resource Allocation in a GSM and GPRS Cellular Network David E Vannucci & Peter J Chitamu Centre for Telecommunications Access and Services School of Electrical and Information Engineering
More information30 ms High Speed Transfer System (HSTS) Product Description
30 ms High Speed Transfer System (HSTS) Product Description 2 30 ms High Speed Transfer System (HSTS) Product Description Content Page 1 General 5 1.1 Description of the 30 ms high speed transfer system
More informationRuntime Verification  Monitororiented Programming  Monitorbased Runtime Reflection
Runtime Verification  Monitororiented Programming  Monitorbased Runtime Reflection Martin Leucker Technische Universität München (joint work with Andreas Bauer, Christian Schallhart et. al) FLACOS
More informationChapter 5. System security and ancillary services
Chapter 5. System security and ancillary services 1 Introduction Markets for electrical energy can function only if they are supported by the infrastructure of a power system. System should continue to
More informationAPPLICATION NOTE. Measuring Current Output Transducers with Campbell Scientific Dataloggers. App. Note Code: 2MIB Revision: 1
App. Note Code: 2MIB Revision: 1 APPLICATION NOTE Measuring Current Output s with Campbell Scientific Dataloggers 815 W. 1800 N. Logan, Utah 843211784 (435) 7532342 FAX (435) 7509540 Copyright (C)
More informationChapter 3 Nonlinear Model Predictive Control
Chapter 3 Nonlinear Model Predictive Control In this chapter, we introduce the nonlinear model predictive control algorithm in a rigorous way. We start by defining a basic NMPC algorithm for constant reference
More informationLPV model identification for power management of Web service systems Mara Tanelli, Danilo Ardagna, Marco Lovera
LPV model identification for power management of Web service systems Mara Tanelli, Danilo Ardagna, Marco Lovera, Politecnico di Milano {tanelli, ardagna, lovera}@elet.polimi.it Outline 2 Reference scenario:
More informationPropagation Channel Emulator ECP_V3
Navigation simulators Propagation Channel Emulator ECP_V3 1 Product Description The ECP (Propagation Channel Emulator V3) synthesizes the principal phenomena of propagation occurring on RF signal links
More informationTDA2040. 20W HiFi AUDIO POWER AMPLIFIER
20W HiFi AUDIO POWER AMPLIFIER DESCRIPTION The TDA2040 is a monolithic integrated circuit in Pentawatt package, intended for use as an audio class AB amplifier. Typically it provides 22W output power
More informationITEC FlexDMC motion architecture. Thiemo van Engelen 4 June, 2013 48th Systems/software Architecture Study Group Meeting
ITEC FlexDMC motion architecture Thiemo van Engelen 4 June, 2013 48th Systems/software Architecture Study Group Meeting Contents Introduction of ITEC Software architecture FlexDMC Mechatronics Scope Measurement
More informationTechnical Article. Multiphase DCDC PMIC: the efficient, spacesaving choice for today s application processors. Peter Kammerlander
Technical Multiphase DCDC PMIC: the efficient, spacesaving choice for today s application processors Peter Kammerlander Multiphase DCDC PMIC: the efficient, spacesaving choice for today s application
More informationPricing and calibration in local volatility models via fast quantization
Pricing and calibration in local volatility models via fast quantization Parma, 29 th January 2015. Joint work with Giorgia Callegaro and Martino Grasselli Quantization: a brief history Birth: back to
More informationLearning Outcomes. Simple CPU Operation and Buses. Composition of a CPU. A simple CPU design
Learning Outcomes Simple CPU Operation and Buses Dr Eddie Edwards eddie.edwards@imperial.ac.uk At the end of this lecture you will Understand how a CPU might be put together Be able to name the basic components
More informationSCHOOL OF ADVANCED TECHNOLOGIES, ENGINEERING AND SCIENCE (SATES) PROGRAM: CTech in Electrical and Electronic Engineering
SCHOOL OF ADVANCED TECHNOLOGIES, ENGINEERING AND SCIENCE (SATES) Program Schedule PROGRAM: CTech in Electrical and Electronic Engineering CTech Electrical & Electronic Engineering Credits IT101 Information
More informationBrief Paper. of discretetime linear systems. www.ietdl.org
Published in IET Control Theory and Applications Received on 28th August 2012 Accepted on 26th October 2012 Brief Paper ISSN 17518644 Temporal and onestep stabilisability and detectability of discretetime
More informationSelecting Current Transformers Part 1 By Darrell G. Broussard, P.E.
By Darrell G. Broussard, P.E. Introduction: As engineers, we are aware that electrical power systems have grown. How much have they grown? When was the last time you specified a 2400volt system, a 4160volt
More informationClearing the Way for VoIP
Gen2 Ventures White Paper Clearing the Way for VoIP An Alternative to Expensive WAN Upgrades Executive Overview Enterprises have traditionally maintained separate networks for their voice and data traffic.
More information04 Mathematics COSGFLD00403. Program for Licensing Assessments for Colorado Educators
04 Mathematics COSGFLD00403 Program for Licensing Assessments for Colorado Educators Readers should be advised that this study guide, including many of the excerpts used herein, is protected by federal
More informationNon Linear Control of a Distributed Solar Field
Non Linear Control of a Distributed Solar Field Rui NevesSilva rns@fct.unl.pt Universidade Nova de Lisboa ACUREX Solar Field 2 Parabolic through collector 3 Solar plant scheme The action on the pump s
More informationEmbedded Systems. 6. RealTime Operating Systems
Embedded Systems 6. RealTime Operating Systems Lothar Thiele 61 Contents of Course 1. Embedded Systems Introduction 2. Software Introduction 7. System Components 10. Models 3. RealTime Models 4. Periodic/Aperiodic
More informationChapter 11. 11.1 Load Balancing. Approximation Algorithms. Load Balancing. Load Balancing on 2 Machines. Load Balancing: Greedy Scheduling
Approximation Algorithms Chapter Approximation Algorithms Q. Suppose I need to solve an NPhard problem. What should I do? A. Theory says you're unlikely to find a polytime algorithm. Must sacrifice one
More informationCyberphysical Systems Security An Experimental Approach
Cyberphysical Systems Security An Experimental Approach Dieter Gollmann, Marina Krotofil Security in Distributed Applications, Hamburg University of Technology helped by Pavel Gurikov, Alexander Isakov,
More informationFrom predictive maintenance to predictive manufacturing
From predictive maintenance to predictive manufacturing Big Data challenge for industry 2632014 POM Consortium p1 Goal of the presentation + Summarize and situate POM2 results into the broader picture
More informationVibration analysis and monitoring Compact. Powerful. Modern technology.
Vibration analysis and monitoring Compact. Powerful. Modern technology. Maximum performance Vibration measurement with state of the art processor technology Expert Vibro is Delphin Technology's new device
More informationLeveraging Asterisk to Deliver Large Scale VoIP Services in a Carrier Environment. JR Richardson
Leveraging Asterisk to Deliver Large Scale VoIP Services in a Carrier Environment JR Richardson Early VoIP Environment Telecom Act of 1996, mass competition, Telco's needed value add features and capabilities,
More informationDSAM Digital Quality Index (DQI) A New Technique for Assessing Downstream Digital Services
Application Note DSAM Digital Quality Index (DQI) A New Technique for Assessing Downstream Digital Services Overview As cable operators move to digital simulcast and all digital networks, the majority
More informationVirtual scheduling for compositional realtime guarantees
Virtual scheduling for compositional realtime guarantees 8th IEEE International Symposium on Industrial Embedded Systems Martijn van den Heuvel, Reinder J. Bril and Johan J. Lukkien System Architecture
More informationNetworking Virtualization Using FPGAs
Networking Virtualization Using FPGAs Russell Tessier, Deepak Unnikrishnan, Dong Yin, and Lixin Gao Reconfigurable Computing Group Department of Electrical and Computer Engineering University of Massachusetts,
More informationApplication of Android OS as Realtime Control Platform**
AUTOMATYKA/ AUTOMATICS 2013 Vol. 17 No. 2 http://dx.doi.org/10.7494/automat.2013.17.2.197 Krzysztof Ko³ek* Application of Android OS as Realtime Control Platform** 1. Introduction An android operating
More informationBenefits and Potential Dangers of Using USB for Test & Measurement Applications. Benefits of Using USB for Test and Measurement
Benefits and Potential Dangers of Using USB for Test & Measurement Applications What is USB? USB (Universal Serial Bus) is a standard that was developed by a group of manufacturers (including Intel, Microsoft,
More informationLAN extensions for Instrumentation
LAN extensions for Instrumentation LXI: It s About Your Time It took years for Ethernet and the Web to transform the way we work. Now it s time for both to transform test systems. That s why leading test
More informationLABORATORY TESTS OF ACTIVE SUSPENSION SYSTEM
Journal of KONES Powertrain and Transport, Vol. 18, No. 1 2011 LABORATORY TESTS OF ACTIVE SUSPENSION SYSTEM Jaros aw Konieczny AGH University of Science and Technology, Department of Process Control Mickiewicz
More informationA Simple CurrentSense Technique Eliminating a Sense Resistor
INFINITY Application Note AN7 A Simple CurrentSense Technique Eliminating a Sense Resistor Copyright 998 A SIMPE CURRENTSENSE TECHNIQUE EIMINATING A SENSE RESISTOR INTRODUCTION A sense resistor R S,
More informationSetBased Design: A DecisionTheoretic Perspective
SetBased Design: A DecisionTheoretic Perspective Chris Paredis, Jason Aughenbaugh, Rich Malak, Steve Rekuc Product and Systems Lifecycle Management Center G.W. Woodruff School of Mechanical Engineering
More informationWhat is the difference between an equivalent time sampling oscilloscope and a realtime oscilloscope?
What is the difference between an equivalent time sampling oscilloscope and a realtime oscilloscope? Application Note In the past, deciding between an equivalent time sampling oscilloscope and a real
More informationOpenGamma Quantitative Research Adjoint Algorithmic Differentiation: Calibration and Implicit Function Theorem
OpenGamma Quantitative Research Adjoint Algorithmic Differentiation: Calibration and Implicit Function Theorem Marc Henrard marc@opengamma.com OpenGamma Quantitative Research n. 1 November 2011 Abstract
More informationGETTING STARTED WITH LABVIEW POINTBYPOINT VIS
USER GUIDE GETTING STARTED WITH LABVIEW POINTBYPOINT VIS Contents Using the LabVIEW PointByPoint VI Libraries... 2 Initializing PointByPoint VIs... 3 Frequently Asked Questions... 5 What Are the
More information3. INNER PRODUCT SPACES
. INNER PRODUCT SPACES.. Definition So far we have studied abstract vector spaces. These are a generalisation of the geometric spaces R and R. But these have more structure than just that of a vector space.
More information