ESE 601: Hybrid Systems. Instructor: Agung Julius Teaching assistant: Ali Ahmadzadeh
|
|
- Laurence Quinn
- 5 years ago
- Views:
Transcription
1 ESE 601: Hybrid Systems Instructor: Agung Julius Teaching assistant: Ali Ahmadzadeh
2 Schedule Class schedule : Monday & Wednesday Towne 305 Office hours : to be discussed (3 hrs/week) s: agung@seasupennedu aliahmad@graspupennedu
3 Course website Visit the course website: wwwseasupennedu/~agung/ese601htm I will post course plan, announcements, downloadable course materials, homework sets Join the course mailing list in the website Q&A and announcements outside of the class can be done through the mailing list Important: Following the university regulation, some course materials on the website will be password protected
4 Grading There will be three homework sets (15 points each), due after 2 weeks You can discuss the homework, but do not copy, ie work independently Tentative homework schedule is on the website There will be no exam, but final project (55 points) If time permits, there will be project presentation
5 Final project You have to submit a project proposal (1-2 pages) that describes: What you want to do in the project How the project is related with the course References (if any) A project can be, for example: A summary of a few coherent papers Modeling and/or analysis of hybrid systems Controller design You have to submit a project report (>6 pages)
6 Course contents Review on background materials (continuous and discrete event systems) Introduction to hybrid systems, modeling formalisms Modeling and analysis tool CHARON Verification of hybrid systems and software tools Stability analysis of hybrid systems
7 Course contents Controller design Stochastic hybrid systems Guest lectures on HS in biology and robotics
8 Hybrid systems Hybrid systems: systems that have both continuous and discrete aspects in the dynamics Continuous: continuous time, differential equations, smooth evolution, infinite/noncountable states Discrete: discontinuities, finite/countable states, discrete time
9 Discrete and Continuous Control Theory Continuous systems Stability, control Feedback, robustness Computer Science Transition systems Composition, abstraction Concurrency models Hybrid Systems Software controlled systems Multi-modal systems Embedded real-time systems Multi-agent systems
10 Emerging applications Latest BMW : 72 networked microprocessors Boeing 777 : 1280 networked microprocessors
11 Networked embedded systems Network Controller SW/HW Controller SW/HW Actuator Sensor Actuator Sensor Physical System Physical System
12 Networked embedded systems Network Controller SW/HW Controller SW/HW Actuator Sensor Actuator Sensor Physical System Physical System Physical system is continuous, software is discrete
13 Lesson from Ariane 5 Ariane 5, an unmanned rocket, was launched on 4 th June 1996 The rocket exploded 37s after launching, due to software error The program had been running for 10 years, costing $7 billions The rocket and its cargo itself cost $500 millions Post-explosion analysis singled out a software program as the cause of the accident Interestingly, the same program functioned perfectly on Ariane 4, and was copied to Ariane 5 for that reason What had changed, was the physical system around the software
14 Exporting Science Control Theory Continuous systems Stability, control Feedback, robustness Computer Science Transition systems Composition, abstraction Concurrency models Composition Abstraction Concurrency Robustness Feedback Stability
15 Different views Computer science perspective View the physics from the eyes of the software Modeling result : Hybrid automaton Control theory perspective View the software from the eyes of the physics Modeling result : Switched control systems
16 Hybrid behavior arises in Hybrid dynamics Hybrid model is a simplification of a larger nonlinear model Quantized control of continuous systems Input and observation sets are finite Logic based switching Software is designed to supervise various dynamics/controllers Partial synchronization of many continuous systems Resource allocation for competing multi-agent systems Hybrid specifications of continuous systems Plant is continuous, but specification is discrete or hybrid
17 Nuclear reactor example Without rods With rod 1 With rod 2 T = 01 T T = 01 T T = 01 T Rod 1 and 2 cannot be used simultaneously Once a rod is removed, you cannot use it for 10 minutes Specification : Keep temperature between 510 and 550 degrees If T=550 then either a rod is available or we shutdown the plant
18 Software model of nuclear reactor Rod1 NoRod Rod2 Shutdown
19 Hybrid model of nuclear reactor T = 510 y = 10 y2 1 = 10 Rod1 NoRod T Rod2 550 y = T = 01 T 56 T = 01 T 50 T = 01 T 60 y 1 = 1 y 2 = 1 y 1 = 1 y 2 = 1 y 1 = 1 y 2 = 1 T 510 T = 510 y : = 1 0 T 550 T = 510 y : = 0 2 T 510 T = 550 y < 10 y2 1 < 10 Analysis : Is shutdown reachable? Algorithmic verification : NO Shutdown T = 01 T 50 y 1 = 1 y 2 = 1 true
20 The train gate example x θ approach raise lower exit Controller System = Train Gate Controller Safety specification : If train is within 10 meters of the crossing, then gate should completely closed Liveness specification : Keep gate open as much as possible
21 Train model x 2000 far near past - 50 x 40 x = 1000 approach x = 0-50 x x 30 x 1000 exit x = 100 x' [2000, ) x 0 x -100
22 Gate model θ = 90 raise raising θ = 9 θ = 90 open θ = 0 raise θ 90 lower θ = 90 raise lower raise lowering θ = 9 θ = 0 closed θ = 0 θ 0 θ = 0 lower lower
23 Controller model y : = 0 exit true Goingtolower y : = 0 idle y : = 0 Goingto raise ẏ = 1 approach ẏ = 1 exit ẏ = 1 y d lower true raise y d y : = 0 approach
24 Synchronized transitions x 2000 far - 50 x 40 x = 1000 approach near past x = 0-50 x x 30 x 1000 exit x = 100 x' [2000, ) x 0 x -100 y : = 0 exit true Going tolower y : = 0 idle y : = 0 Going to raise ẏ = 1 approach ẏ = 1 exit ẏ = 1 y d lower true raise y d y : = 0 approach
25 Verifying the controller x θ approach raise lower exit Controller System = Train Gate Controller Safety specification : Can we avoid the set θ > 0 (-10 x 10)? Parametric verification : 49 YES if d 5
An introduction to hybrid systems theory and applications. Thanks to. Goals for this mini-course. Acknowledgments. Some references
An introduction to hybrid systems theory and applications Thanks to School Organizers Maurice Heemels Bart De Schutter George J Pappas Departments of ESE and CIS University of Pennsylvania pappasg@eeupennedu
More informationN U C L : R E A C T O R O P E R A T I O N A N D R E G U L A T O R Y P O L I C Y, I
N U C L 6 0 6 0 : R E A C T O R O P E R A T I O N A N D R E G U L A T O R Y P O L I C Y, I FALL 2013 INSTRUCTORS: Gregory Moffitt & Ryan Schow LECTURES: MONDAY & WEDNESDAY 11:50 AM 1:10 PM MEB 1206 OFFICE
More informationAE 200 Engineering Analysis and Control of Aerospace Systems
Instructor Info Credit Class Days / Time Office Location: ENG 272C Office Hours: Monday 4:00pm 6:30pm Email: kamran.turkoglu@sjsu.edu 3 units Tuesday, 6:00pm 8:45pm Classroom CL 222 Prerequisites TA: Contact
More informationAstronomy 1010: Survey of Astronomy. University of Toledo Department of Physics and Astronomy
Astronomy 1010: Survey of Astronomy University of Toledo Department of Physics and Astronomy Information Kathy Shan Office: MH 4008 Phone: 530 2226 Email: kathy.shan@utoledo.edu Email is the best way to
More informationCS256/Winter 2009 Lecture #1. Zohar Manna. Instructor: Zohar Manna Office hours: by appointment
CS256/Winter 2009 Lecture #1 Zohar Manna FORMAL METHODS FOR REACTIVE SYSTEMS Instructor: Zohar Manna Email: manna@cs.stanford.edu Office hours: by appointment TA: Boyu Wang Email: wangboyu@stanford.edu
More informationWelcome to Physics 161 Elements of Physics Fall 2018, Sept 4. Wim Kloet
Welcome to Physics 161 Elements of Physics Fall 2018, Sept 4 Wim Kloet 1 Lecture 1 TOPICS Administration - course web page - contact details Course materials - text book - iclicker - syllabus Course Components
More informationAutomata-theoretic analysis of hybrid systems
Automata-theoretic analysis of hybrid systems Madhavan Mukund SPIC Mathematical Institute 92, G N Chetty Road Chennai 600 017, India Email: madhavan@smi.ernet.in URL: http://www.smi.ernet.in/~madhavan
More informationLecture 4. Applications
Lecture 4. Applications Summary Tools such as HyTech, CheckMate, Uppaal, Kronos have been used in many contexts typically to verify safety of a control design or to get tight bounds on parameters (e.g.
More informationPhysics 343: Modern Physics Autumn 2015
Physics 343: Modern Physics Autumn 2015 Course Information Instructor: Dr. David A. Macaluso Office: C.H. Clapp Building, room 119 Telephone: (406) 243-6641 Email: david.macaluso@umontana.edu Lectures:
More informationECE 8803 Nonlinear Dynamics and Applications Spring Georgia Tech Lorraine
ECE 8803 Nonlinear Dynamics and Applications Spring 2018 Georgia Tech Lorraine Brief Description Introduction to the nonlinear dynamics of continuous-time and discrete-time systems. Routes to chaos. Quantification
More informationWelcome to Physics 202
Welcome to Physics 202 Todays Topics The Physics 202 Team Course Formality and Course Overview Q&A Ch 21: Electric Charges Physics 202 Homepage http://www.physics.wisc.edu/undergrads/courses/fall2011/202/index.html
More informationApplied Reactor Technology and Nuclear Power Safety, 4A1627; 4 cp. Course Description
Applied Reactor Technology and Nuclear Power Safety, 4A1627; 4 cp Course Objectives Course Description The purpose of the course is to provide a general knowledge on the physical processes that take place
More informationInstructor Dr. Tomislav Pintauer Mellon Hall Office Hours: 1-2 pm on Thursdays and Fridays, and by appointment.
Course Description and Objectives The purpose of this course is to introduce students to the basic facts and principles of chemistry. Our approach provides a sound foundation by teaching students that
More informationCOURSE NUMBER: EH 590R SECTION: 1 SEMESTER: Fall COURSE TITLE: Computational Systems Biology: Modeling Biological Responses
DEPARTMENT: Environmental Health COURSE NUMBER: EH 590R SECTION: 1 SEMESTER: Fall 2017 CREDIT HOURS: 2 COURSE TITLE: Computational Systems Biology: Modeling Biological Responses COURSE LOCATION: TBD PREREQUISITE:
More informationMath 200 A and B: Linear Algebra Spring Term 2007 Course Description
Math 200 A and B: Linear Algebra Spring Term 2007 Course Description February 25, 2007 Instructor: John Schmitt Warner 311, Ext. 5952 jschmitt@middlebury.edu Office Hours: Monday, Wednesday 11am-12pm,
More informationPHYS F212X FE1+FE2+FE3
Syllabus for PHYS F212X FE1+FE2+FE3 General Physics II College of Natural Science and Mathematics University of Alaska Fairbanks Fall 2016 (8/29/2016 to 12/14/2016) Course Information: PHYS F212X FE1+FE2+FE3
More informationChemistry 103: Basic General Chemistry (4.0 Credits) Fall Semester Prerequisites: Placement or concurrent enrollment in DEVM F105 or higher
Chemistry 103: Basic General Chemistry (4.0 Credits) Fall Semester 2017 Instructor: Dr. Kriya L. Dunlap Office: WRRB 230 Telephone: 474-2766 (office) Email: kldunlap@alaska.edu Lecture: MWF 3:30 4:30,
More informationTEACHING ASSISTANT POSITIONS (CUPE 3902, Unit 1) Emergency Posting Winter Department of Geography, University of Toronto Mississauga
TEACHING ASSISTANT POSITIONS (CUPE 3902, Unit 1) Emergency Posting Winter 2019 Department of Geography, University of Toronto Mississauga Posted on: November 30, 2018 Applications due: December 7, 2018
More informationCpE358/CS381. Switching Theory and Logical Design. Summer
Switching Theory and Logical Design - Class Schedule Monday Tuesday Wednesday Thursday Friday May 7 8 9 - Class 2 - Class 2 2 24 - Class 3 25 26 - Class 4 27 28 Quiz Commencement 3 June 2 - Class 5 3 -
More informationEnergy. on this world and elsewhere. Instructor: Gordon D. Cates Office: Physics 106a, Phone: (434)
Energy on this world and elsewhere Instructor: Gordon D. Cates Office: Physics 106a, Phone: (434) 924-4792 email: cates@virginia.edu Course web site available at www.phys.virginia.edu, click on classes
More informationUC DAVIS. Circuits I Course Outline
UC DAVIS Circuits I Course Outline ENG 17 Professor Spencer Fall 2010 2041 Kemper Hall Lecture: MWF 4:10-5:00, 1003 Giedt Hall 752-6885 Discussion Section 1: W 1:10-2:00, 55 Roessler CRN: 61417 Discussion
More informationMethods for Software Verification. Andrea Corradini Gian Luigi Ferrari. Second Semester 6 CFU
Methods for Software Verification Andrea Corradini Gian Luigi Ferrari Second Semester 6 CFU. The importance of Software Correctness Increasing integration of ICT in different applications: Embedded systems
More informationImportant Dates. Non-instructional days. No classes. College offices closed.
Instructor: Dr. Alexander Krantsberg Email: akrantsberg@nvcc.edu Phone: 703-845-6548 Office: Bisdorf, Room AA 352 Class Time: Mondays and Wednesdays 12:30 PM - 1:45 PM. Classroom: Bisdorf / AA 354 Office
More informationAnnouncements Monday, September 18
Announcements Monday, September 18 WeBWorK 1.4, 1.5 are due on Wednesday at 11:59pm. The first midterm is on this Friday, September 22. Midterms happen during recitation. The exam covers through 1.5. About
More informationToday s Topics. The Physics 202 Team Course Formality and Overview. Physics 202 Homepage
Today s Topics The Physics 202 Team Course Formality and Overview Ch. 21.1-21.5: Electric Charge, Coulomb's Law Text: Giancoli, Physics for Scientists and Engineers, 4th ed., Volume II. Physics 202 Homepage
More informationCHEE 319 Process Dynamics and Control
CHEE 319 Process Dynamics and Control Winter 2012 Instructor: M.Guay TAs: S. Dougherty, D. Park and E. Moshksar 1 Organization Instructor: Dr. Martin Guay Office: Dupuis 406 Phone: 533-2788 Email: guaym@chee.queensu.ca
More informationMath Linear Algebra Spring Term 2014 Course Description
Math 200 - Linear Algebra Spring Term 2014 Course Description February 6, 2014 Instructor: John Schmitt Office: Warner 311, Tel: Ext. 5952 E-mail: jschmitt@middlebury.edu Office Hours: Tuesday 1:30pm 3pm,
More informationCourse information. Required Text
Course information EHS 101: Fundamentals of Chemistry for Environmental Health UCLA School of Public Health https://ccle.ucla.edu/course/view/16f-envhlt101-1 Syllabus Fall 2016 Thursdays, 1-2:50 pm, in
More informationMIP543 RNA Biology Fall 2015
MIP543 RNA Biology Fall 2015 Credits: 3 Term Offered: Day and Time: Fall (odd years) Mondays and Wednesdays, 4:00-5:15 pm Classroom: MRB 123 Course Instructor: Dr. Jeffrey Wilusz, Professor, MIP Office:
More informationAstro 32 - Galactic and Extragalactic Astrophysics/Spring 2016
Astro 32 - Galactic and Extragalactic Astrophysics/Spring 2016 The class meets Monday and Wednesday 10:30-11:45am (Block E+) in 574 Boston Ave, room 401 Instructor: Professor Anna Sajina email: Anna.Sajina@tufts.edu
More informationSYLLABUS SEFS 540 / ESRM 490 B Optimization Techniques for Natural Resources Spring 2017
SYLLABUS SEFS 540 / ESRM 490 B Optimization Techniques for Natural Resources Spring 2017 Lectures: Winkenwerder Hall 107, 4:50-5:50pm, MW Labs: Mary Gates Hall 030, 1:30-2:50pm, Th Course Web Site: http://faculty.washington.edu/toths/course.shtml
More informationAstronomy 001 Online SP16 Syllabus (Section 8187)
Astronomy 001 Online SP16 Syllabus (Section 8187) Instructor: Elizabeth Bell Email (best way to contact me): bellea@wlac.edu Classroom: online Office Hours: online by appointment Prerequisite: None REQUIRED:
More informationPage 1 of 5 Printed: 2/4/09
Course Goal: CHEN 205 - Chemical Engineering Thermodynamics I, Credit 3 (3-0) Spring 2009, TuTh 9:35 10:50, Brown 102 (a) To introduce students to the fundamental concepts and laws of thermodynamics; and
More informationCOMP 551 Applied Machine Learning Lecture 20: Gaussian processes
COMP 55 Applied Machine Learning Lecture 2: Gaussian processes Instructor: Ryan Lowe (ryan.lowe@cs.mcgill.ca) Slides mostly by: (herke.vanhoof@mcgill.ca) Class web page: www.cs.mcgill.ca/~hvanho2/comp55
More informationUrban Planning Internet Geographic Information Systems Fall 2010
Urban Planning - 794 Internet Geographic Information Systems Fall 2010 Instructor: Professor Huxhold (hux@uwm.edu) Lecturer: Melissa Mann (mmann@uwm.edu) Manager: Kurt Meingast (kurtm@uwm.edu) Schedule:
More informationGEOL 443 SYLLABUS. Igneous and Metamorphic Petrology, Spring 2013 Tuesday & Thursday 8:00 a.m. 9:15 a.m., PLS Date Subject Reading
GEOL 443 SYLLABUS Igneous and Metamorphic Petrology, Spring 2013 Tuesday & Thursday 8:00 a.m. 9:15 a.m., PLS 1113 Date Subject Reading Jan 24 Introduction: Overview of petrology, rocks. Structure and Chapter
More informationECE 4800 Fall 2011: Electromagnetic Fields and Waves. Credits: 4 Office Hours: M 6-7:30PM, Th 2-3:30, and by appointment
ECE 4800 Fall 2011: Electromagnetic Fields and Waves Instructor: Amar S. Basu Office: 3133 Engineering Email: abasu@eng.wayne.edu Phone: 313-577-3990 Lecture Times: M W 7:30PM - 9:20PM, Class Dates: 9/7/11
More informationPhysics 162a Quantum Mechanics
Physics 162a Quantum Mechanics 1 Introduction Syllabus for Fall 2009 This is essentially a standard first-year course in quantum mechanics, the basic language for describing physics at the atomic and subatomic
More informationPhysics Fall Semester. Sections 1 5. Please find a seat. Keep all walkways free for safety reasons and to comply with the fire code.
Physics 222 2018 Fall Semester Sections 1 5 Please find a seat. Keep all walkways free for safety reasons and to comply with the fire code. Electronic Devices Please separate your professional from your
More informationMonday May 12, :00 to 1:30 AM
ASTRONOMY 108: Descriptive Astronomy Spring 2008 Instructor: Hugh Gallagher Office: Physical Science Building 130 Phone, Email: 436-3177, gallagha@oneonta.edu Office Hours: M 2:00-3:00 PM, Th 10:00-11:00
More informationIntroduction to Computer Engineering ECE 203
Introduction to Computer Engineering ECE 203 Northwestern University Department of Electrical Engineering and Computer Science Teacher: Robert Dick Office: L477 Tech Email: dickrp@ece.northwestern.edu
More informationChemistry 110 General Chemistry, Course Lecture MWF 8:30 am 9:50 am Room NSM C221 Laboratory M or W 1:00 pm 3:50 pm Room NSM B340
Course Syllabus Fall 2009 CSU Dominguez Hills Chemistry 110 General Chemistry, Course 40318 Lecture MWF 8:30 am 9:50 am Room NSM C221 Laboratory M or W 1:00 pm 3:50 pm Room NSM B340 Instructor: Dr. Kenneth
More informationLAGUARDIA COMMUNITY COLLEGE CITY UNIVERSITY OF NEW YORK NATURAL SCIENCES DEPARTMENT. SCC105: Introduction to Chemistry Fall I 2014
LAGUARDIA COMMUNITY COLLEGE CITY UNIVERSITY OF NEW YORK NATURAL SCIENCES DEPARTMENT SCC105: Introduction to Chemistry Fall I 2014 Your Instructor's name Your Instructor's contact information Course Description:
More informationBiology Day 15. Monday, September 22 Tuesday, September 23, 2014
Biology Day 15 Monday, September 22 Tuesday, September 23, 2014 Title: Cell Video Notes A Then, underneath, answer the following: 1. Write down today s FLT. 2. What are the three parts of the cell theory?
More informationCHEMISTRY 121 FG Spring 2013 Course Syllabus Rahel Bokretsion Office 3624, Office hour Tuesday 11:00 AM-12:00 PM
CHEMISTRY 121 FG Spring 2013 Course Syllabus Rahel Bokretsion rbokretsion@ccc.edu Office 3624, Office hour Tuesday 11:00 AM-12:00 PM GENERAL COURSE INFORMATION Required Material: Introductory Chemistry
More information2018 SPRING PHYS 8011 Classical mechanics I (as of Apr. 19/2018) The course syllabus is a general plan for the course; deviations announced to the class by the instructor may be necessary. A FRIENDLY REMINDER:
More informationMath 1553 Introduction to Linear Algebra. School of Mathematics Georgia Institute of Technology
Math 1553 Introduction to Linear Algebra School of Mathematics Georgia Institute of Technology Chapter 1 Overview Linear. Algebra. What is Linear Algebra? Linear having to do with lines/planes/etc. For
More informationJunior Laboratory. PHYC 307L, Spring Webpage:
Lectures: Mondays, 13:00-13:50 am, P&A room 184 Lab Sessions: Room 133 Junior Laboratory PHYC 307L, Spring 2016 Webpage: http://physics.unm.edu/courses/becerra/phys307lsp16/ Monday 14:00-16:50 (Group 1)
More informationAstronomy 100 Section 2 MWF Greg Hall. Welcome to Astro 100. Astronomy is not Astrology! Course Goals
Astronomy 100 Section 2 MWF 1200-1300 100 Greg Hall Leslie Looney Phone: 244-3615 Email: lwl @ uiuc. edu Office: Astro Building #218 Office Hours: MTF 10:30-11:30 a.m. or by appointment Welcome to Astro
More informationTake-Home Exam 1: pick up on Thursday, June 8, return Monday,
SYLLABUS FOR 18.089 1. Overview This course is a review of calculus. We will start with a week-long review of single variable calculus, and move on for the remaining five weeks to multivariable calculus.
More informationAS 203 Principles of Astronomy 2 Introduction to Stellar and Galactic Astronomy Syllabus Spring 2012
AS 203 Principles of Astronomy 2 Introduction to Stellar and Galactic Astronomy Syllabus Spring 2012 Instructor Prof. Elizabeth Blanton Room: CAS 519 Email: eblanton@bu.edu Phone: 617-353-2633 Office hours:
More informationCOURSE SYLLABUS AND INSTRUCTOR PLAN GENERAL INORGANIC CHEMISTRY I CHEM Dr. Vanessa Castleberry
WACO, TEXAS COURSE SYLLABUS AND INSTRUCTOR PLAN GENERAL INORGANIC CHEMISTRY I CHEM - 1411-50 Dr. Vanessa Castleberry Spring 2012 Course Description: Covers the fundamental laws, theories, and concepts
More informationSchool of Public Service and Health EDMG240 Chemistry of Hazardous Materials 3 Credit Hours 8 weeks Prerequisite(s): None
School of Public Service and Health EDMG240 Chemistry of Hazardous Materials 3 Credit Hours 8 weeks Prerequisite(s): None Instructor Information Course Description Course Scope Course Objectives Course
More informationDiscrete abstractions of hybrid systems for verification
Discrete abstractions of hybrid systems for verification George J. Pappas Departments of ESE and CIS University of Pennsylvania pappasg@ee.upenn.edu http://www.seas.upenn.edu/~pappasg DISC Summer School
More informationPhysics 18, Introductory Physics I for Biological Sciences Spring 2010
Physics 18 page 1/6 Physics 18, Introductory Physics I for Biological Sciences Spring 2010 - Course Description - Instructor: Dr. Derrick Kiley Office: AOB 176; Office Phone 209 228-3076 E-mail Address:
More informationSCIENCE PROGRAM CALCULUS III
SCIENCE PROGRAM CALCULUS III Discipline: Mathematics Semester: Winter 2005 Course Code: 201-DDB-05 Instructor: Objectives: 00UV, 00UU Office: Ponderation: 3-2-3 Tel.: 457-6610 Credits: 2 2/3 Local: Course
More informationComparative Vertebrate Anatomy Biol 241 Fall 2017
Comparative Vertebrate Anatomy Biol 241 Fall 2017 Time/Location Monday and Wednesday, 5:00 pm 6:15 pm, Loyola Science Center 212 Instructors Dr. Robert Smith Professor of Biology Loyola Science Center
More informationMATH 345 Differential Equations
MATH 345 Differential Equations Spring 2018 Instructor: Time: Dr. Manuela Girotti; office: Weber 223C email: manuela.girotti@colostate.edu Mon-Tue-Wed-Fri 1:00pm-1:50pm Location: Engineering E 206 Office
More informationThe Montana Toolset: Formal Analysis of AADL Specifications
Fremont Associates Process Project QA The Montana Toolset: Formal Analysis of AADL Specifications SAE AS-2 2 Working Group Seal Beach, California 27 January 2005 Outline Origins, Origins, Goals, Plans
More informationSYLLABUS CHEM 202 Lab - Inorganic Chemistry 2 Laboratory Spring, 2014
SYLLABUS CHEM 202 Lab - Inorganic Chemistry 2 Laboratory Spring, 2014 Laboratory Director: Dr. J. Scott McConnell Office and Office Hours: The lab director s office is 519A. Office hours are 3:00-5:00
More informationISP 205: Visions of the Universe. Your Professor. Assignments. Course Resources
ISP 205: Visions of the Universe Goal To learn about the universe around us Astronomy Have fun Method Lectures Collaborative learning Hands-on activities Assessment Homework Electronic postings Quizzes
More informationAnnouncements Monday, November 13
Announcements Monday, November 13 The third midterm is on this Friday, November 17. The exam covers 3.1, 3.2, 5.1, 5.2, 5.3, and 5.5. About half the problems will be conceptual, and the other half computational.
More informationVerification of hybrid systems. Thanks to
Verification of hybrid systems George J Pappas Departments of ESE and CIS University of Pennsylvania pappasg@eeupennedu http://wwwseasupennedu/~pappasg HYBRIDGE Summer School on Hybrid Systems : A Formal
More informationGeography 1103: Spatial Thinking
Geography 1103: Spatial Thinking Lecture: T\TH 8:00-9:15 am (McEniry 401) Lab: Wed 2:00-4:30 pm (McEniry 420) Instructor: Dr. Elizabeth C. Delmelle Email: edelmell@uncc.edu Office: McEniry 419 Phone: 704-687-5932
More informationAS 101: The Solar System (Spring 2017) Course Syllabus
AS 101: The Solar System (Spring 2017) Course Syllabus Instructor: Professor Wen Li Office: CAS 501 Phone: 617-353-7439 Email: wenli77@bu.edu Office hours: Mondays 3:30 5:00 pm, Wednesdays 3:30 5:00 pm,
More informationECEN 420 LINEAR CONTROL SYSTEMS. Instructor: S. P. Bhattacharyya* (Dr. B.) 1/18
ECEN 420 LINEAR CONTROL SYSTEMS Instructor: S. P. Bhattacharyya* (Dr. B.) 1/18 Course information Course Duration: 14 weeks Divided into 7 units, each of two weeks duration, 5 lectures, 1 test Each unit
More informationPhysics 2240, Spring 2015
1 Physics 2240, Spring 2015 Instructor Drew Von Maluski vonmaluskid@uwplatt.edu UW-Platteville Office: Engineering Hall 227 Office Hours: Open Door Policy Tentative Scheduled Office Hours: Monday 9 11am
More informationTele9757 Quantum Communications Course Outline 2015
Tele9757 Quantum Communications Course Outline 2015 Staff Contact: A/Prof Robert Malaney, Email: r.malaney@unsw.edu.au Course Aim The main aim of this course is to develop amongst students from different
More informationChemistry Organic Chemistry II, Spring 2018
Chemistry 2320 Organic Chemistry II, Spring 2018 Instructor: Dr. Tom Chang Office: Widtsoe 337 Phone: 797-3545 Email: tom.chang@usu.edu Meeting Time/Place: MWF 10:30-11:20 am, Eccles Business Building
More informationSCIENCE PROGRAM CALCULUS III
SCIENCE PROGRAM CALCULUS III Discipline: Mathematics Semester: Winter 2002 Course Code: 201-DDB-05 Instructor: R.A.G. Seely Objectives: 00UV, 00UU Office: H 204 Ponderation: 3-2-3 Tel.: 457-6610 Credits:
More information- - - - - - - - - - - - - - - - - - DISCLAIMER - - - - - - - - - - - - - - - - - - General Information: This midterm is a sample midterm. This means: The sample midterm contains problems that are of similar,
More informationAS 102 The Astronomical Universe (Spring 2010) Lectures: TR 11:00 am 12:30 pm, CAS Room 316 Course web page:
Instructor: AS 102 The Astronomical Universe (Spring 2010) Lectures: TR 11:00 am 12:30 pm, CAS Room 316 Course web page: http://firedrake.bu.edu/as102/as102.html Professor Tereasa Brainerd office: CAS
More informationModern Physics (PHY 371)
Modern Physics (PHY 371) Instructor: Paulo Bedaque, PSC, room 3147. My email is the best way to contact me in an emergency including absence from an exam. The best way to ask a physics question is trough
More informationTopics in General Chemistry Chemistry 103 Fall 2017
Topics in General Chemistry Chemistry 103 Fall 2017 Instructor: Professor Oertel, N280 Science Center, 775-8989, catherine.oertel@oberlin.edu Class meeting: MWF 11-11:50 am, Science Center A255 Laboratory
More informationCHEMISTRY 3A INTRODUCTION TO CHEMISTRY SPRING
CHEMISTRY 3A INTRODUCTION TO CHEMISTRY SPRING ---- 2007 INSTRUCTOR: Dr. Phil Reedy Office: Cunningham 321 Telephone: 954-5671 email: preedy@deltacollege.edu WEBSITES: www.deltacollege.edu/emp/preedy www.preparatorychemistry.com
More informationMath 200D - Linear Algebra Fall Term 2017 Course Description
Math 200D - Linear Algebra Fall Term 2017 Course Description September 6, 2017 Instructor: John Schmitt Office: Warner 311, Tel: Ext. 5952 E-mail: jschmitt@middlebury.edu Office Hours: Monday 1:30pm-2:30pm,
More informationFormal Methods in Software Engineering
Formal Methods in Software Engineering Modeling Prof. Dr. Joel Greenyer October 21, 2014 Organizational Issues Tutorial dates: I will offer two tutorial dates Tuesdays 15:00-16:00 in A310 (before the lecture,
More informationIntroduction to Catalysis (CME 425) & Heterogeneous Catalysis & Surface Reaction (CME522)
Introduction to Catalysis (CME 425) & Heterogeneous Catalysis & Surface Reaction (CME522) Text book: Julian R.H. Ross, Heterogeneous Catalysis: Fundamentals and Applications, 2011, Elsevier Publications,
More informationA SURVEY OF ORGANIC CHEMISTRY CHEMISTRY 1315 TuTr 9:35-10:55 am, Boggs B6
GEORGIA INSTITUTE OF TECHNOLOGY School of Chemistry and Biochemistry Spring 2004 A SURVEY OF ORGANIC CHEMISTRY CHEMISTRY 1315 TuTr 9:35-10:55 am, Boggs B6 Instructor: Marcus Weck Office: Boggs 3-85 Phone:
More informationMATH 450: Mathematical statistics
Departments of Mathematical Sciences University of Delaware August 28th, 2018 General information Classes: Tuesday & Thursday 9:30-10:45 am, Gore Hall 115 Office hours: Tuesday Wednesday 1-2:30 pm, Ewing
More informationAim: To be able to describe and explain techniques used to predict or reduce the impacts of volcanic eruptions in NAMED locations.
C/W Qu: Can we predict volcanoes? 18/10/12 Aim: To be able to describe and explain techniques used to predict or reduce the impacts of volcanic eruptions in NAMED locations. Starter: Read and correct the
More informationSyllabus BINF Computational Biology Core Course
Course Description Syllabus BINF 701-702 Computational Biology Core Course BINF 701/702 is the Computational Biology core course developed at the KU Center for Computational Biology. The course is designed
More informationLecture 2- Linear Motion Chapter 10
1 / 37 Lecture 2- Linear Motion Chapter 10 Instructor: Prof. Noronha-Hostler Course Administrator: Prof. Roy Montalvo PHY-123 ANALYTICAL PHYSICS IA Phys- 123 Sep. 12 th, 2018 Contact Already read the syllabus
More informationCSE 421 Algorithms. Richard Anderson Autumn 2015 Lecture 1
CSE 421 Algorithms Richard Anderson Autumn 2015 Lecture 1 CSE 421 Course Introduction CSE 421, Introduction to Algorithms MWF, 1:30-2:20 pm MGH 421 Instructor Richard Anderson, anderson@cs.washington.edu
More informationCourse Syllabus: Advanced Inorganic Chemistry I - ChemS 330
Course Syllabus: Advanced Inorganic Chemistry I - ChemS 330 Division Physical Science and Engineering Division Course Number ChemS 330 Course Title Academic Semester Advanced Inorganic Chemistry I Fall
More informationMathematical Description of Light
Mathematical Description of Light Thursday, 8/24/2006 Physics 158 Peter Beyersdorf Document info 1 Class Outline Introductions/Announcements Properties of light Mathematical description of transverse waves
More informationMATH-3150H-A: Partial Differential Equation 2018WI - Peterborough Campus
MATH-3150H-A: Partial Differential Equation 2018WI - Peterborough Campus Instructor: Instructor: Kenzu Abdella Email Address: kabdella@trentu.ca Phone Number: 705-748-1011 x7327 Office: GSC 339 Office
More informationSYLLABUS. PHYS 309, (410) ,
PHYS 402 NUCLEAR PHYSICS Fall, 2016 SYLLABUS Instructor: Place and Time: Office hours: Text: Dr. Laszlo Takacs PHYS 309, (410) 455-2524, takacs@umbc.edu PHYS 107, MWF 2:00-2:50 pm To be decided later Nuclear
More informationAS The Astronomical Universe. Prof. Merav Opher - Fall 2013
SYLLABUS AS 102 - The Astronomical Universe Prof. Merav Opher - Fall 2013 Course Catalog Summary: The birth and death of stars; red giants, white dwarfs, black holes; our galaxy, the Milky Way, and other
More informationYear 8 Parent Support Evening Science. Mrs Temple Director of science
Year 8 Parent Support Evening Science Mrs Temple Director of science About us and Ks3 Director of science: Mrs Temple E-mail-stemple@durring.com Deputy Leader: Miss Simona Trignano E-mail-strignano@durring.com
More informationList of Legislative Regulations Dealing with Nuclear Energy and Ionizing Radiation and Related Documents
List of Legislative Regulations Dealing with Nuclear Energy and Ionizing Radiation and Related Documents as on 18 June 2001 I. Atomic Act and Related Implementing Regulations a) Atomic Act 1. Act No. 18/1997
More informationPhys 631 Mathematical Methods of Theoretical Physics Fall 2018
Phys 631 Mathematical Methods of Theoretical Physics Fall 2018 Course information (updated November 10th) Instructor: Joaquín E. Drut. Email: drut at email.unc.edu. Office: Phillips 296 Where and When:
More informationECE321 Electronics I
ECE321 Electronics I Lecture 1: Introduction to Digital Electronics Payman Zarkesh-Ha Office: ECE Bldg. 230B Office hours: Tuesday 2:00-3:00PM or by appointment E-mail: payman@ece.unm.edu Slide: 1 Textbook
More informationESS 102 Space and Space Travel
ESS 102 Space and Space Travel Instructor: Dr. Jeremy Thomas (jnt@u.washington.edu) Office Hours: Dr. Thomas: Mon and Wed 2-4pm or by appt. TAs: James Prager (jprager@u.washington.edu), Race Roberson (raceman@u.washington.edu),
More informationPS 101: Introductory Astronomy Fall 2014
PS 101: Introductory Astronomy Fall 2014 Lecture: Lab: Tues./Thurs. 12:00 pm - 1:15 pm, S166 Tues. 4:00 pm - 5:50 pm, S166 Instructor: Dr. Jon M. Saken Office: S178 (Science Bldg.) Phone: 696-2753 E-mail:
More informationChemistry 401: Modern Inorganic Chemistry (3 credits) Fall 2017
Chemistry 401: Modern Inorganic Chemistry (3 credits) Fall 2017 Monday, Wednesday, Friday 9:10-10:00 am in Troy G5 Syllabus Instructor: Professor Qiang Zhang Office: Troy 220 Phone: 509-335-1269 Email:
More informationSAVE THIS SYLLABUS FOR REFERENCE DURING THE SEMESTER.
SYLLABUS Course: General Chemistry I: (call #31437) Lecture: 8:30-10:00AM Mon.-Wed.; Room 6006 Recitation: 1 hour per week: Mon.; 12:00-1:00 Room 3066 Laboratory: 3 hours per week: Mon;1:00-4:00 Room 3066
More informationImportant Dates. Non-instructional days. No classes. College offices closed.
Instructor: Dr. Alexander Krantsberg Email: akrantsberg@nvcc.edu Phone: 703-845-6548 Office: Bisdorf, Room AA 352 Class Time: Tuesdays and Thursdays 7:30 PM - 9:20 PM. Classroom: Bisdorf / AA 467 Office
More informationText: Lutgens and Tarbuck, The Atmosphere (14 th ed.), Quick Start: Preparing Effectively for Each Class
Montgomery College, Rockville AOSC100 Weather and Climate (CRN#31633) Syllabus Spring 2019 Text: Lutgens and Tarbuck, The Atmosphere (14 th ed.), 2019 Instructor: Bill Krayer, Adjunct Professor Office:
More informationCHM 7430: Chemical Kinetics MWF 12:50 1:45 / 215 State Hall. Instructor: G. Andrés Cisneros Office Hours: WF 1:45 3:00
CHM 7430: Chemical Kinetics MWF 12:50 1:45 / 215 State Hall Instructor: G. Andrés Cisneros Office Hours: WF 1:45 3:00 Office: 333 Chemistry or by appointment email: andres@chem.wayne.edu Course Description
More information