7th Biennial Ptolemy Miniconference Berkeley, CA February 13, 2007 Correctness in Causal Systems Eleftherios Matsikoudis UC Berkeley.

Slides:

Advertisements

Similar presentations

ALGEBRA TILES Cancellation. Write the Equation = = -x= x= -1= 1.

Advertisements

$100 $200 $300 $400 $500 $100 $200 $300 $400 $500 $100 $200 $300 $400 $500 $100 $200 $300 $400 $500 $100 $200 $300 $400 $500 $100 $200 $300.

Algebra Recap Solve the following equations (i) 3x + 7 = x (ii) 3x + 1 = 5x – 13 (iii) 3(5x – 2) = 4(3x + 6) (iv) 3(2x + 1) = 2x + 11 (v) 2(x + 2)

Edward A. Lee Designing a Relevant Lab for Introductory Signals and Systems Edward A. Lee UC Berkeley A computer without networking, audio, video, or real-time.

The Operational Semantics of Hybrid Systems Edward A. Lee Professor, Chair of EE, and Associate Chair of EECS, UC Berkeley With contributions from: Adam.

Discrete Event Models: Getting the Semantics Right Edward A. Lee Robert S. Pepper Distinguished Professor Chair of EECS UC Berkeley With thanks to Xioajun.

Chess Review November 21, 2005 Berkeley, CA Edited and presented by Interchange Format for Hybrid Systems Alessandro Pinto UC Berkeley.

Overview of PTIDES Project

GM-CMU Collaborative Research Laboratory Temporal Logics for Analyzing Hybrid Systems Simulation Traces.

PTIDES: Programming Temporally Integrated Distributed Embedded Systems Yang Zhao, EECS, UC Berkeley Edward A. Lee, EECS, UC Berkeley Jie Liu, Microsoft.

7th Biennial Ptolemy Miniconference Berkeley, CA February 13, 2007 Causality Interfaces for Actor Networks Ye Zhou and Edward A. Lee University of California,

5 th Biennial Ptolemy Miniconference Berkeley, CA, May 9, 2003 Java Code Generation Steve Neuendorffer UC Berkeley.

7th Biennial Ptolemy Miniconference Berkeley, CA February 13, 2007 Leveraging Synchronous Language Principles for Hybrid System Models Haiyang Zheng and.

6th Biennial Ptolemy Miniconference Berkeley, CA May 12, 2005 Future Directions Edward A. Lee.

6th Biennial Ptolemy Miniconference Berkeley, CA May 12, 2005 Some Developments in the Tagged Signal Model Xiaojun Liu With J. Adam Cataldo, Edward A.

A denotational framework for comparing models of computation Daniele Gasperini.

Chess Review October 4, 2006 Alexandria, VA Edited and presented by Advanced Tool Architectures Edward A. Lee UC Berkeley.

8th Biennial Ptolemy Miniconference Berkeley, CA April 16, 2009 Precision Timed (PRET) Architecture Hiren D. Patel, Ben Lickly, Isaac Liu and Edward A.

Esterel Overview Roberto Passerone ee249 discussion section.

5 th Biennial Ptolemy Miniconference Berkeley, CA, May 9, 2003 C AL - An actor language Jörn W. Janneck The Ptolemy Group University of California, Berkeley.

Chess Review November 21, 2005 Berkeley, CA Edited and presented by Advanced Tool Architectures Edward A. Lee UC Berkeley.

5 th Biennial Ptolemy Miniconference Berkeley, CA, May 9, 2003 Models of Computation in Hollywood C. Fong.

Modeling Heterogeneous Systems Edward Lee UC Berkeley Design for Safety Workshop NASA Ames Research Center Mountain View, CA 11 October, Design.

6th Biennial Ptolemy Miniconference Berkeley, CA May 12, 2005 Operational Semantics of Hybrid Systems Haiyang Zheng and Edward A. Lee With contributions.

Chess Review May 11, 2005 Berkeley, CA Operational Semantics of Hybrid Systems Haiyang Zheng and Edward A. Lee With contributions from the Ptolemy group.

Chess Review November 21, 2005 Berkeley, CA Edited and presented by Efficient Simulation Model for Hybrid Bond Graphs Christopher Beers ISIS, Vanderbilt.

Design of Fault Tolerant Data Flow in Ptolemy II Mark McKelvin EE290 N, Fall 2004 Final Project.

Discrete Event Models: Getting the Semantics Right Edward A. Lee Robert S. Pepper Distinguished Professor Chair of EECS UC Berkeley With special thanks.

Chess Review November 21, 2005 Berkeley, CA Edited and presented by Causality Interfaces and Compositional Causality Analysis Rachel Zhou UC Berkeley.

7th Biennial Ptolemy Miniconference Berkeley, CA February 13, 2007 Cyber-Physical Systems: A Vision of the Future Edward A. Lee Robert S. Pepper Distinguished.

Summary of the Course What, Why, When. 2 The Y-chart view of the Course System Behavior System Architecture Behavior on Architecture Mapping Refine Implementation.

Hierarchical Reconfiguration of Dataflow Graphs Stephen Neuendorffer UC Berkeley Poster Preview May 10, 2004.

Semantic Foundation of the Tagged Signal Model Xiaojun Liu Sun Microsystems, Inc. Chess Seminar February 21, 2006.

Chess Review May 11, 2005 Berkeley, CA Discrete-Event Systems: Generalizing Metric Spaces and Fixed-Point Semantics Adam Cataldo Edward Lee Xiaojun Liu.

7th Biennial Ptolemy Miniconference Berkeley, CA February 13, 2007 PTIDES: A Programming Model for Time- Synchronized Distributed Real-time Systems Yang.

Concurrent Models of Computation in System Level Design Edward Lee UC Berkeley Forum on Design Languages Workshop on System Specification & Design Languages.

5 th Biennial Ptolemy Miniconference Berkeley, CA, May 9, 2003 JHDL Hardware Generation Mike Wirthlin and Matthew Koecher

A Graphical Development and Simulation Environment for TinyOS-based Wireless Sensor Networks Elaine Cheong February 13, 2007 Seventh Biennial Ptolemy Miniconference.

5 th Biennial Ptolemy Miniconference Berkeley, CA, May 9, 2003 MESCAL Application Modeling and Mapping: Warpath Andrew Mihal and the MESCAL team UC Berkeley.

7th Biennial Ptolemy Miniconference Berkeley, CA February 13, 2007 Scheduling Data-Intensive Workflows Tim H. Wong, Daniel Zinn, Bertram Ludäscher (UC.

Operational Semantics of Hybrid Systems Edward A. Lee and Haiyang Zheng With contributions from: Adam Cataldo, Jie Liu, Xiaojun Liu, Eleftherios Matsikoudis.

Embedded Software: Building the Foundations Edward A. Lee Professor, Chair of EE, and Associate Chair of EECS CHESS: Center for Hybrid and Embedded Software.

Algebra February 10, Systems of Three Variables We have already seen a system of two equations used to solve two variables. Now we are going to.

ME 270 Final Project Presentation Operational Amplifiers.

$100 $200 $300 $400 $500 $100 $200 $300 $400 $500 $100 $200 $300 $400 $500 $100 $200 $300 $400 $500 $100 $200 $300 $400 $500 $100 $200 $300.

$100 $200 $300 $400 $500 $100 $200 $300 $400 $500 $100 $200 $300 $400 $500 $100 $200 $300 $400 $500 $100 $200 $300 $400 $500 $100 $200 $300.

Section 1.5: Circles Definition circle: Set of points a fixed distance from a center point. Definition radius: Distance from center to any point.

Objectives Solve compound inequalities in one variable involving absolute-value expressions.

Start Presentation November 1, 2012 Treatment of Discontinuities II We shall today once more look at the modeling of discontinuous systems. First, an additional.

Actor Networks Edward A. Lee Robert S. Pepper Distinguished Professor Chair of EECS UC Berkeley Invited Talk Workshop Foundations and Applications of Component-based.

Algebra II Honors Problem of the Day Homework: p odds Without graphing find all symmetries for each equation.

Ptolemy Project Vision Edward A. Lee Robert S. Pepper Distinguished Professor Eighth Biennial Ptolemy Miniconference April 16, 2009 Berkeley, CA, USA.

基督再來（一）. 經文： 1 你們心裡不要憂愁；你們信神，也當信我。 2 在我父的家裡有許多住處；若是沒有，我就早已告訴你們了。我去原是為你們預備地去。 3 我若去為你們預備了地方，就必再來接你們到我那裡去，我在那裡，叫你們也在那裡， ] ( 約 14 ： 1-3)

Algebra II February 22 nd Students should complete warm-up problems. Quiz on solving systems by graphing. Students will be able to solve a system of linear.

Algebra 2/Trigonometry Name: _____________________________

February 12 – 19, 2018.

Scott A. Kowalchuk Advisor: Dr. Christopher Hall

Find 4 A + 2 B if {image} and {image} Select the correct answer.

Слайд-дәріс Қарағанды мемлекеттік техникалық университеті

Equation Review Given in class 10/4/13.

.. -"""--..J '. / /I/I =---=-- -, _ --, _ = :;:.

Embedded Systems: A Focus on Time

II //II // \ Others Q.

I1I1 a 1·1,.,.,,I.,,I · I 1··n I J,-·

Concurrent Models of Computation for Embedded Software

Honors Algebra II with Trigonometry Mrs. Stacey

Equation Review.

Honors Algebra II with Trigonometry Mr. Agnew

. '. '. I;.,, - - "!' - -·-·,Ii '.....,,......, -,

Presentation transcript:

7th Biennial Ptolemy Miniconference Berkeley, CA February 13, 2007 Correctness in Causal Systems Eleftherios Matsikoudis UC Berkeley

Matsikoudis, Berkeley 2Ptolemy Miniconference, February 13, 2007 Causality (Informally) … is the constraint that an effect cannot precede its cause.

Matsikoudis, Berkeley 3Ptolemy Miniconference, February 13, 2007 Relevance Modeling and Simulation Synchronous Programming of Reactive Systems Hardware Description

Matsikoudis, Berkeley 4Ptolemy Miniconference, February 13, 2007 Correctness ?

Matsikoudis, Berkeley 5Ptolemy Miniconference, February 13, 2007 Systems.. s C s SE f A s A s B f B f M s M

Matsikoudis, Berkeley 6Ptolemy Miniconference, February 13, 2007 Systems.. s C s SE f A s A s B f B f M s M as Fixed-Point Equations s A = f A ( s M ; s C ) s B = f B ( s A ; s C ) s M = f M ( s B ; s SE )

Matsikoudis, Berkeley 7Ptolemy Miniconference, February 13, 2007 Signals T V

Matsikoudis, Berkeley 8Ptolemy Miniconference, February 13, 2007 Prefix Order s 1 s 2 v

Matsikoudis, Berkeley 9Ptolemy Miniconference, February 13, 2007 Generalized Ultrametric Distance d ( s 1 ; s 2 ) s 1 s 2

Matsikoudis, Berkeley 10Ptolemy Miniconference, February 13, 2007 Causal Functions µ s 1 s 2 f ( s 1 ) f ( s 2 )

Matsikoudis, Berkeley 11Ptolemy Miniconference, February 13, 2007 Existence of Fixed Points..? f ( s ) d e f = ( fh ¿ ; v ig i f ¿ 6 2 d oms, ; o t h erw i se.

Matsikoudis, Berkeley 12Ptolemy Miniconference, February 13, Causal Functions R 0 ± ¸ ± s 1 s 2 f ( s 1 ) f ( s 2 )

Matsikoudis, Berkeley 13Ptolemy Miniconference, February 13, 2007 Construction of Fixed Points l i m n ! 1 f n ( s )

Matsikoudis, Berkeley 14Ptolemy Miniconference, February 13, 2007 Strictly Causal Functions s 1 s 2 f ( s 1 ) f ( s 2 ) ½

Matsikoudis, Berkeley 15Ptolemy Miniconference, February 13, 2007 Zeno

Matsikoudis, Berkeley 16Ptolemy Miniconference, February 13, 2007 Construction of Fixed Points f ( f ()) f () f () f ( f ()) f ( ; ) f ( f ( ; ))

Matsikoudis, Berkeley 17Ptolemy Miniconference, February 13, 2007 Beyond Strict Causality..

Matsikoudis, Berkeley 18Ptolemy Miniconference, February 13, 2007 Algebraic Loops y ( t ) = x ( t ) = x 2 ( t ) + u ( t ) K y ( t )

Matsikoudis, Berkeley 19Ptolemy Miniconference, February 13, 2007 x 2 ( t ) + u ( t ) K y ( t ) Algebraic Loops y ( t ) = x ( t ) = 1 : : 268

Matsikoudis, Berkeley 20Ptolemy Miniconference, February 13, : : 268 Algebraic Loops y ( t ) = x ( t ) = 14 : : 7321

Matsikoudis, Berkeley 21Ptolemy Miniconference, February 13, 2007 … in Simulink

Matsikoudis, Berkeley 22Ptolemy Miniconference, February 13, 2007 … in Ptolemy II

Matsikoudis, Berkeley 23Ptolemy Miniconference, February 13, 2007 Functions Strictly Causal on Orbits ½ s f ( s ) f ( f ( s ))

Matsikoudis, Berkeley 24Ptolemy Miniconference, February 13, 2007 Construction of Fixed Points f ( f ()) f () f () f ( f ()) f ( ; ) f ( f ( ; ))

Matsikoudis, Berkeley 25Ptolemy Miniconference, February 13, 2007 Conclusion Proceed with caution..