23 Pages

ece604 lecture 09

Course: ECE 604, Spring 2010
School: UMass (Amherst)
Rating:
 
 
 
 
 

Word Count: 820

Document Preview

9 ECE Lecture 604 State Variable Analysis Doug Looze Oct. 6, 2009 Linear Systems Douglas Looze 1 Announcements PS3 available Due Thursday Oct. 6, 2009 Linear Systems Douglas Looze 2 Last Time Characterizations of Controllability Observability In terms of Grammians Linear independence of vector time functions Oct. 6, 2009 Linear Systems Douglas Looze 3 Conditions Equivalent (A(t), B(t))...

Register Now

Unformatted Document Excerpt

Coursehero >> Massachusetts >> UMass (Amherst) >> ECE 604

Course Hero has millions of student submitted documents similar to the one
below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.

Course Hero has millions of student submitted documents similar to the one below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.
9 ECE Lecture 604 State Variable Analysis Doug Looze Oct. 6, 2009 Linear Systems Douglas Looze 1 Announcements PS3 available Due Thursday Oct. 6, 2009 Linear Systems Douglas Looze 2 Last Time Characterizations of Controllability Observability In terms of Grammians Linear independence of vector time functions Oct. 6, 2009 Linear Systems Douglas Looze 3 Conditions Equivalent (A(t), B(t)) controllable Independent rows of ( t , ) B ( ) Grammian invertible n n matrix Full rank W t0 , t f Oct. 6, 2009 ( ) tf = ( t0 , t ) B ( t ) BT ( t ) T ( t0 , t ) dt t0 Linear Systems Douglas Looze 4 Equivalent (A(t), C(t)) observable Independent columns of C ( t ) ( t , t0 ) Grammian invertible n n matrix Full rank M t0 , t f Oct. 6, 2009 ( ) tf T = ( t , t0 ) CT ( t ) C ( t ) ( t , t0 ) dt t0 Linear Systems Douglas Looze 5 Exercise Consider the linear, time-varying system 0 0 d x( t) = x( t) + b( t) u( t) dt 0 1 Specify whether the system is controllable on any interval for the following input matrices. If it is controllable on some interval, determine such an interval 1 a) b ( t ) = 1 Oct. 6, 2009 1 b) b ( t ) = t e 1 c) b ( t ) = -t e 6 Linear Systems Douglas Looze The transition matrix for this system is: 0 0 0 1 t 1 = e At = e 0 t 0 e The controllability kernel matrix is: 0 1 1 1 ( t0 , t ) B ( t ) = = t0 - t 1 t0 - t 0 e e Since the rows are linearly independent on any interval, the system is (C) on all intervals Oct. 6, 2009 Linear Systems Douglas Looze 7 The transition matrix for this system is: 0 0 0 1 t 1 = e At = e 0 t 0 e The controllability kernel matrix is: 0 1 1 1 ( t0 , t ) B ( t ) = = t0 - t t t0 0 e e e Since the rows are not linearly independent on any interval, the system is not (C) on any interval Oct. 6, 2009 Linear Systems Douglas Looze 8 The transition matrix for this system is: 0 0 0 1 t 1 = e At = e 0 t 0 e The controllability kernel matrix is: 0 1 1 1 ( t0 , t ) B ( t ) = = t0 - t -t t0 - 2t 0 e e e Since the rows are linearly independent on any interval, the system is (C) on all intervals Oct. 6, 2009 Linear Systems Douglas Looze 9 Today Characterization of linear independence for controllability and observability Exercises Reading Rugh, Ch. 9 p. 144146, 149 Oct. 6, 2009 Linear Systems Douglas Looze 10 Alternative Tests Controllability is a range space concept Observability is a null space concept Define Then Oct. 6, 2009 Linear Systems Douglas Looze 11 Question Is there a test for linear independence of a finite number of vector time that functions is Finite-dimensional Non-integral Independent of the transition matrix Yes If the vectors are sufficiently differentiable Oct. 6, 2009 Linear Systems Douglas Looze 12 Controllability Define K0 ( t ) = B ( t ) d K j ( t ) = - A ( t ) K j -1 ( t ) + K j -1 ( t ) dt ( t , ) B ( ) j Claim ( t , ) K j ( ) = j Proof (induction): Check true for j = 0 ( t , ) K 0 ( ) = ( t , ) B ( ) Oct. 6, 2009 Linear Systems Douglas Looze 13 Assume for j Check true for j + 1 ( t , ) K j ( ) j = [ ( t , ) B ( ) ] j Oct. 6, 2009 Linear Systems Douglas Looze 14 Theorem: Suppose that, for some t, B(t) is q times differentiable and A(t) is (q1) times differentiable. Then the linear system is controllable over any interval containing t if rank K 0 ( t ) L K q ( t ) = n Note: by the previous theorem K j ( t) = Oct. 6, 2009 ( t , ) B ( ) j t = Linear Systems Douglas Looze 15 j Proof: Suppose the rank test holds but there is an interval [t0,tf] containing t for which the system is not controllable. Then W(t0,tf) is not invertible Oct. 6, 2009 Linear Systems Douglas Looze 16 T x a ( t0 , ) B ( ) = 0 = T xb K 0 ( ) Oct. 6, 2009 Linear Systems Douglas Looze 17 Remarks Test for linear independence of rows of ( t0 , t ) B ( t ) Same proof can be used for any matrix V(t) rank V ( t ) d dq V( t) L V( t) = n dt dt q Can determine Kj(t) recursively Note strong conclusion: any interval containing t Sufficient only Oct. 6, 2009 Linear Systems Douglas Looze 18 Recall Test for independence of rows of a matrix V(t) d dq rank V ( t ) V( t) L V( t) = n q dt dt Can use transpose to present an equivalent test for independence of columns Recursion formula for derivatives Oct. 6, 2009 Linear Systems Douglas Looze 19 Define Observability L j ( t) = L0 ( t ) = C ( t ) j t C ( t ) ( t , ) j Theorem: Suppose that, for some t, C(t) is q times differentiable and A(t) is (q1) time differentiable. Then the linear system is observable over any interval containing t if L0 ( t ) rank M = n Lq ( t ) Linear Systems Douglas Looze d L j ( t ) = L j -1 ( t ) A ( t ) + L j -1 ( t ) dt t = Oct. 6, 2009 20 Remarks Test for linear independence of columns of C ( t ) ( t , t0 ) Can determine Lj(t) recursively Note strong conclusion: any interval containing t Sufficient only Oct. 6, 2009 Linear Systems Douglas Looze 21 Summary Rank tests for (C) and (O) Exercises Oct. 6, 2009 Linear Systems Douglas Looze 22 Next Time Basis change Duality LTI systems Reading Rugh, Ch. 9 p. 146149, 150152 Oct. 6, 2009 Linear Systems Douglas Looze 23
Find millions of documents on Course Hero - Study Guides, Lecture Notes, Reference Materials, Practice Exams and more. Course Hero has millions of course specific materials providing students with the best way to expand their education.

Below is a small sample set of documents:

UMass (Amherst) - ECE - 604
Lecture 10ECE 604 State Variable Analysis Doug LoozeOct. 8, 2009 Linear Systems Douglas Looze 1Announcements PS4 available Due 2 weeks from today October 22 No class next TuesdayOct. 8, 2009Linear Systems Douglas Looze2Controllability DefineK
UMass (Amherst) - ECE - 604
Lecture 11ECE 604 State Variable Analysis Doug LoozeOct. 15, 2009 Linear Systems Douglas Looze 1Announcements PS4 available Due next week October 22Oct. 15, 2009Linear Systems Douglas Looze2Last Time Basis change Duality Began LTI systemsd x (
UMass (Amherst) - ECE - 604
Lecture 12ECE 604 State Variable Analysis Doug LoozeOct. 20, 2009 Linear Systems Douglas Looze 1Announcements PS4 available Due Thursday, October 22 Midterm exam Wednesday, November 4 79 P.M. LGRT A203 Open book, notes No electronic devicesLinear
UMass (Amherst) - ECE - 604
Lecture 13ECE 604 State Variable Analysis Doug LoozeOct. 22, 2009 Linear Systems Douglas Looze 1Announcements PS4 due today PS5 available Due Thursday, October 29 Midterm exam Wednesday, November 4 79 P.M. LGRT A203 Open book, notes No electronic d
UMass (Amherst) - ECE - 604
Lecture 14ECE 604 State Variable Analysis Doug LoozeOct. 27, 2009 Linear Systems Douglas Looze 1Announcements PS5 available Due Thursday, October 29 Midterm exam Wednesday, November 4 79 P.M. LGRT A203 Open book, notes No electronic devicesLinear
UMass (Amherst) - ECE - 604
Lecture 15ECE 604 State Variable Analysis Doug LoozeOct. 29, 2009 Linear Systems Douglas Looze 1Announcements PS5 due Midterm exam Wednesday, November 4 79 P.M. LGRT A203 Open book, notes No electronic devices No class Thursday, Nov. 5Oct. 29, 2009
UMass (Amherst) - ECE - 604
Lecture 16ECE 604 State Variable Analysis Doug LoozeNov. 3, 2009 Linear Systems Douglas Looze 1Announcements Midterm exam Wednesday, November 4 79 P.M. LGRT A203 Open book, notes No electronic devices No class Thursday, Nov. 5Nov. 3, 2009Linear Sy
UMass (Amherst) - ECE - 604
Lecture 17ECE 604 Linear Systems Doug LoozeNov. 12, 2009 Linear Systems Douglas Looze 1Announcements Problem set 6 available Due Thursday, November 19 MT Exam Average 64Nov. 12, 2009Linear Systems Douglas Looze2Last Time Defined concept of rea
UMass (Amherst) - ECE - 604
Lecture 18ECE 604 Linear Systems Doug LoozeNov. 17, 2009 Linear Systems Douglas Looze 1Announcements Problem set 6 due Thursday Office hours None today Wednesday 3- 5 Next week No class TuesdayNov. 17, 2009Linear Systems Douglas Looze2Last Time
UMass (Amherst) - ECE - 604
Lecture 19ECE 604 Linear Systems Doug LoozeNov. 19, 2009 Linear Systems Douglas Looze 1Announcements Problem set 6 due today Problem set 7 available Due Thursday, December 3 No class next week No office hours next weekNov. 19, 2009Linear Systems
UMass (Amherst) - ECE - 604
Lecture 20ECE 604 Linear Systems Doug LoozeDec. 1, 2009 Linear Systems Douglas Looze 1Announcements Problem set 6 due Reading Bay, Chapter 7.1Dec. 1, 2009Linear Systems Douglas Looze2Last Time Minimal realization Controllable realization Trans
UMass (Amherst) - ECE - 604
Lecture 21ECE 604 Linear Systems Doug LoozeDec. 3, 2009Linear Systems Douglas Looze1Announcements Problem set 8 available Due Thursday, Dec. 10 Final exam Take home Due Wednesday, Dec. 16Dec. 3, 2009Linear Systems Douglas Looze2Last Time Suf
UMass (Amherst) - ECE - 604
Lecture 22ECE 604 Linear Systems Doug LoozeDec. 8, 2009Linear Systems Douglas Looze1Announcements Problem set 8 available Due Thursday, Dec. 10 Final Exam Take Home Issued Thursday Due Wednesday, Dec. 16Dec. 8, 2009Linear Systems Douglas Looze
UMass (Amherst) - ECE - 604
Lecture 23ECE 604 Linear Systems Doug LoozeDec. 10, 2009Linear Systems Douglas Looze1Announcements Problem Set 8 due today Final Exam available Take Home Due Wednesday, Dec. 16Dec. 10, 2009Linear Systems Douglas Looze2Last Time State feedback
Stony Brook University - CHE - 134
4/22/11 12ATTENTIONSchedule Change ! Checkout Week including Final Quiz is moved to:May 2 May 5Make-ups will be administered on:Monday, May 2 at 5:30 PMMake-ups are only for students who have excused absences on 1 or more exercises. Students who c
San Diego State - BIOL - 211L
Unknown Lab Reports- Biol 211L Spring 2011 Format for Unknown Reports. Scientific reports have to be written in a very specific format which is used in a majority of scientific publications. You are expected to follow this format for both of your unknowns
University of Phoenix - BUS - 210
Program Planning and Evaluation PaperJennifer Reyes HSM/270 12/5/2010The organization that I have chosen to concentrate on throughout this class is the PEACE Domestic Violence Agency. The purpose of this organization is to reduce the amount of trauma an
Carroll University - CHE - 101
CHE 101 M atter:Chapter 1 Key TermsGas: Liquid: Solid:Atom (Chap. 3):Molecule (Chap. 5):Element:Compound:Substance:M ixture: Physical Change:Chemical Change:Reactant:P roduct:Metal:Nonmetal:Metalloid:You will be requi red to know the names
Carroll University - CHE - 101
Gas Law P ractice P roblems: T ry the problems at the end of Chapter 8 for the sections on Gas Laws. Check the syllabus for specific ones to t ry. 1. An inflated balloon has a volume of 0.55 L at sea level (1.0 atm) and r ises 6.5 km where the P is 0.40 a
Auburn - BIOL - 3500
Review for Exam I I Know timing and location of various events Antigens Terminology: Antigen- a substance that can bind specifically with an antibody or Tcell receptor Immunogen- a substance that can induce a specific immune response (all are Ag) Hapten-
Central Mich. - BIO - 110
Jason CookDr. GalarowicsBio 1109/2/09Concepts of Biology-Assignment 11.What is meant by the term density-independent? Density-independent is done physically or by abiotic factors.2.How would density-independent factors affect a population and work
Central Mich. - TAI - 170
ALONEBy Edgar Allan PoeFrom childhood's hour I have not been As others were-I have not seen As others saw-I could not bring My passions from a common spring. From the same source I have not taken My sorrow; I could not awaken My heart to joy at the same
Central Mich. - BIS - 101
CASHMONEY RECORDS 100 James Drive W Suite 130 St. Rose, LA 70087 (504) 466-5115February 8, 2011 Mr. Jason B. Cook Central Michigan University 3400 E Deerfield Apt Z Mt. Pleasant, MI 48858Dear Mr. Cook: The Young Money Entertainment and Cash Money Recor
NJIT - PHYS - 106
LAB 104: Creating Motion GraphsPhysics 111A-021Mario DeLaPaz, Shyeesan Indran, Kennedy Tavarez, Gary Alva September 15, 2010 Professor Kui chen Objective: In this laboratory we used a motion detector to create distance x vs. time t and velocity v vs. t
NJIT - PHYS - 106
Lab 105: Coefficient of Static F r ictionGroup members : Mario DeLaPaz, Kennedy Tavarez, Bryan Ransinangue, Shayeesan Indran Phys 111A Kui Chen Objective To measure the coefficient of static friction between surface m, and to verify that this value is in
NJIT - PHYS - 106
Lab 109 : Velocity as a Function of T ime and D istance at Constant AccelerationPhys 111A-021 Mario DeLaPaz, Kennedy Tavarez, Shayeesan indran, Bryan ransinangue, Gary Alva September 22, 2010 Kui Chen Objective : In this experiment we measured the consta
NJIT - PHYS - 106
L AB 111 : P rojectile MotionPhys 111A-021 Mario DeLaPaz September 29, 2010 Kui ChenObjective : Part 1. To predict where a target of given size should be placed inorder to be hit by a projectile leaving a table in a horizontal direction. Part 2. To mea
NJIT - PHYS - 106
Lab 112 : Newton's Second Law Mario DeLaPaz 111A Kui ChenObjectiveTo predict from Newton's Second Law the hanging mass that will make a glider on a frictinless air t rack move a given distance in a given time.Theoretical Background F=ma , a=constant T
NJIT - PHYS - 106
L AB 121Tom PampalonePage 1 of 4LABORATORY EXPERIMENT REPORTName: Tom Pampalone Wednesday, April 06, 2011 Group Members: Paulina, Ronard, E r ic, Juan Experiment Date: Course Name: Section: Instructor: P HYS 106A 008 P rofessor SemanLABORATORY #121 R
NJIT - PHYS - 106
LAB 119Tom PampalonePage 1 of 2LABORATORY EXPERIMENT REPORTName: Group Members: Experiment Date: Course Name: Section: Instructor: Tom Pampalone Juan Ulloa, Paulina Wednesday, March 02, 2011 PHYS 106A 008 Professor SemanLABORATORY #119 Heavy Pulley A
NJIT - PHYS - 106
L AB 120Tom PampalonePage 1 of 4LABORATORY EXPERIMENT REPORTName: Tom Pampalone Wednesday, M a rch 23, 2011 Group Members: Juan, Paulina, Ronard, E r ic Experiment Date: Course Name: Section: Instructor: P HYS 106A 008 P rofessor SemanLABORATORY #120
NJIT - PHYS - 106
L AB 121Tom PampalonePage 1 of 4LABORATORY EXPERIMENT REPORTName: Tom Pampalone Wednesday, M a rch 30, 2011 Group Members: Paulina, Ronard, E r ic, Juan Experiment Date: Course Name: Section: Instructor: P HYS 106A 008 P rofessor SemanLABORATORY #121
NJIT - PHYS - 106
Lab 125 Conservation of Energy Using Spring-Mass System Physics 111A Mario DeLaPaz November 3, 2010 Kui ChenObjective : To verify the conservative of mechanical energy in an oscillating mass-spring system. Theoretical background: The total mechanical ene
NJIT - PHYS - 106
Lab 126: Conservation of Momentum and Impulse Theorem Mario DeLaPaz November 10, 2010 Kui Chen Phys 111A Objective : In this laboratory you will measure the glider velocities before and after collisions (both elastic and inelastic). In addition, you will
NJIT - PHYS - 106
L AB 127 Part ITom PampalonePage 1 of 2LABORATORY EXPERIMENT REPORTName: Tom Pampalone Wednesday, Februa ry 16, 2011 Group Members: Juan Ulloa, Paulina Experiment Date: Course Name: Section: Instructor: P HYS 106A 008 P rofessor SemanLABORATORY #127
NJIT - PHYS - 106
Lab 127 Torque, Inertia and Rotational Kinetic Energy November 13, 2010 Mario DeLaPaz Kui Chen Phys 111A Objective : Part I. To determine the rotational inertia of rotating bodies I by measuring their angular acceleration a and compare this measurement wi
NJIT - PHYS - 106
Lab 131 Centripetal Force Mario DeLaPaz Kui Chen Phys 111A Objective : To understand that there is centripetal force acting on an object in circular motion and the acceleration is always directed radially inward. Theoretical background : 1. U=mgh 2. K = m
NJIT - PHYS - 106
L AB 132Tom PampalonePage 1 of 4LABORATORY EXPERIMENT REPORTName: Tom Pampalone Wednesday, M a rch 02, 2011 Group Members: Juan,E ric,Paulina Experiment Date: Course Name: Section: Instructor: P HYS 106A 008 P rofessfor SemanLABORATORY #132 Conservat
NJIT - PHYS - 106
L AB B1Tom PampalonePage 1 of 5LABORATORY EXPERIMENT REPORTName: Tom Pampalone Wednesday, April 20, 2011 Group Members: Paulina, Ronard, E r ic, Juan Experiment Date: Course Name: Section: Instructor: P HYS 106A 008 P rofessor SemanLABORATORY #B1 Sim
NJIT - PHYS - 106
L AB CTom PampalonePage 1 of 4LABORATORY EXPERIMENT REPORTName: Tom Pampalone Wednesday, April 27, 2011 Group Members: Juan,Paulina,E r ic,Ronard Experiment Date: Course Name: Section: Instructor: P HYS 106A 008 P rofessor SemanLABORATORY #C Physical
NJIT - PHYS - 106
L AB UGTom PampalonePage 1 of 3LABORATORY EXPERIMENT REPORTName: Tom Pampalone Wednesday, April 13, 2011 Group Members: Paulina, Ronard, E r ic, Juan Experiment Date: Course Name: Section: Instructor: P HYS 106A 008 P rofessor SemanLABORATORY #UG Uni
NJIT - PHYS - 106
LAB 202 : Numerical Verification of Gauss's LawMario DeLaPaz 2/15/11 Physics 121AObjective : In this section, using MATLAB software you will evaluate Gauss's Law numerically for different surfaces and verify that the integral over the surface multiplied
NJIT - PHYS - 106
1) 2) 3) 4) 5) 6)20 cm 45 cm 70 cm 95 cm 120 cm 145 cm50 cm75 cm.100cm125cm140cm
NJIT - PHYS - 105
Tom Pampalone 10/19/10 Phy 105A Section 011 Lab 103 Purpose: The primary purpose of this lab is to verify that the condition for static equilibrium is that the vector sum of forces is zero. Background: As stated by Newton's Laws of motion, a particle that
NJIT - PHYS - 105
pampalone (tp8327) HW#4 swaminathan (10500) This print-out should have 27 questions. Multiple-choice questions may continue on the next column or page find all choices before answering. 001 10.0 points A 7.5 kg object hangs at one end of a rope that is at
NJIT - PHYS - 105
pampalone (tp8327) HW#6 swaminathan (10500) This print-out should have 17 questions. Multiple-choice questions may continue on the next column or page find all choices before answering. 001 10.0 points An elevator starts from rest with a constant upward a
NJIT - PHYS - 105
pampalone (tp8327) HW#7 swaminathan (10500) This print-out should have 16 questions. Multiple-choice questions may continue on the next column or page find all choices before answering. 001 (part 1 of 2) 10.0 points A curve of radius r is banked at angle
NJIT - PHYS - 105
pampalone (tp8327) HW#8 swaminathan (10500) This print-out should have 19 questions. Multiple-choice questions may continue on the next column or page find all choices before answering. 001 10.0 points A penny of mass 3.1 g rests on a small 8.36 g block s
NJIT - PHYS - 105
pampalone (tp8327) HW#9 swaminathan (10500) This print-out should have 19 questions. Multiple-choice questions may continue on the next column or page find all choices before answering. 001 10.0 points A block sliding on a horizontal surface has an initia
NJIT - PHYS - 105
pampalone (tp8327) HW10 swaminathan (10500) This print-out should have 18 questions. Multiple-choice questions may continue on the next column or page find all choices before answering. 001 (part 1 of 2) 10.0 points A skier of mass 72.7 kg is pulled up a
NJIT - PHYS - 105
pampalone (tp8327) HW#11 swaminathan (10500) This print-out should have 16 questions. Multiple-choice questions may continue on the next column or page find all choices before answering. 001 10.0 points A 3.41 kg ball is attached to a 13.3 N fish line. Th
NJIT - CS - 100
def showString(url,search): import urllib.request page = urllib.request.urlopen(url) text = page.read().decode("utf8") where = text.find(search) before = where - 10 after = where + 10 print("First occurrence at: ",where) print("Context: ",text[before:afte
NJIT - CS - 100
def polygon(shape, min): minimum=input("Please enter your min value: ") maximum=input("Enter your max value: ") size=input("Length size?: ") m= minimum l= maximum s= size pendown() if m<l: repeat(shape, m) s=s+1 else: s=l repeat(shape, l) def shape(): for
NJIT - CS - 100
Mets 3 Yankees 4Orioles 4 Tigers 3Diamondbacks 7 Marlins 2Dragonslayers 10 Torrentz 10
NJIT - CS - 100
winners = open("ballgames.txt") winner = 0 for line in winners: (team1,score1,team2,score2) = line.split() if score1 > score2: winner = team1 print ('The winner was ' , (winner) , 'with' , (score1) , 'points.') elif score2 > score1: winner = team2 print('
NJIT - CS - 100
def findAE(array): maxAE=0 for i in (array): a=i.count('a') e=i.count('e') count=a+e if count>maxAE: maxAE=count print(maxAE) findAE(['eaeae','gfgheeeeega'])
NJIT - CS - 100
#Tom Pampalone #11/11/10 #CS-100 Section 05 #HW 4 Problems 1 & 2 Combined def paragraphStats(fileName): textf = open(fileName) lines = 0 blanklines = 0 word_list = [] cf_dict = cfw_ for line in textf: lines += 1 if line.startswith('\n'): blanklines += 1 w
NJIT - CS - 100
#Tom Pampalone #CS-100 HW 5 #1 #11/29/10 dictionary = cfw_ dictionary.update([('Sebastian' , '54')]) dictionary.update([('John' , '74')]) dictionary.update([('Anthony' , '27')]) dictionary.update([('Mike' , '82')]) dictionary['Mario'] = '34' dictionary['T
NJIT - CS - 100
#Tom Pampalone #CS-100 HW 5 #2 #11/29/10 def findSuperStrings(lists, value): new = [] for i in lists: if i.find(value) > -1: new.append(i) return(new) print(findSuperStrings(['a', 'bc', 'abc'], 'a')
University of Illinois, Urbana Champaign - CS - 373
Problem Set 4 SolutionsCS373 - Spring 2011 Due: Thursday April 7 at 2:00 PM in class (151 Everitt Lab)Please follow the homework format guidelines posted on the class web page:http:/www.cs.uiuc.edu/class/sp11/cs373/1. Pumping Lemma / Ogden's Lemma [Ca
University of Illinois, Urbana Champaign - CS - 373
Problem Set 3 SolutionsCS373 - Spring 2011 Due: Thursday Mar 17 at 2:00 PM in class (151 Everitt Lab)1.Mirrors[Category: Proof, Points: 18] LetA = cfw_w cfw_a, b | w = wR . Aon(a) Determine the set of equivalence classes of is not regular. (4 Point