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

Slides:



Advertisements
Similar presentations
Jeremy S. Bradbury, James R. Cordy, Juergen Dingel, Michel Wermelinger
Advertisements

Switching circuits Composed of switching elements called “gates” that implement logical blocks or switching expressions Positive logic convention (active.
INTRODUCTION TO SIMULATION WITH OMNET++ José Daniel García Sánchez ARCOS Group – University Carlos III of Madrid.
Traffic Engineering with Forward Fault Correction (FFC)
1 Chapter 5 Belief Updating in Bayesian Networks Bayesian Networks and Decision Graphs Finn V. Jensen Qunyuan Zhang Division. of Statistical Genomics,
Start Presentation November 8, 2012 Bond Graphs for Mechanical Systems We shall look today in a bit more detail at the modeling of 1D mechanical systems.
Lecture 12 Latches Section , Block Diagram of Sequential Circuit gates New output is dependent on the inputs and the preceding values.
Linear Constraint Graph for Floorplan Optimization with Soft Blocks Jia Wang Electrical and Computer Engineering Illinois Institute of Technology Chicago,
Semantic Translation of Simulink/Stateflow Models to Hybrid Automata using Graph Transformations A. Agarwal, Gy. Simon, G. Karsai ISIS, Vanderbilt University.
Using Markov Blankets for Causal Structure Learning Jean-Philippe Pellet Andre Ellisseeff Presented by Na Dai.
Introduction to Fault Diagnosis and Isolation(FDI) By Hariharan Kannan.
Chess Review November 21, 2005 Berkeley, CA Edited and presented by Optimal Control of Stochastic Hybrid Systems Robin Raffard EECS Berkeley.
Chess Review November 21, 2005 Berkeley, CA Edited and presented by Interchange Format for Hybrid Systems Alessandro Pinto UC Berkeley.
Chess Review November 21, 2005 Berkeley, CA Edited and presented by New results in Platform Modeling Tivadar Szemethy ISIS, Vanderbilt University.
Towards Distributed Diagnosis of Complex Physical Systems J. Gandhe Embedded & Hybrid Systems Laboratory, EECS Dept & ISIS, Vanderbilt University Collaborators:
Chess Review May 8, 2003 Berkeley, CA Classes and Inheritance in Actor- Oriented Models Stephen Neuendorffer Edward Lee UC Berkeley.
7th Biennial Ptolemy Miniconference Berkeley, CA February 13, 2007 Leveraging Synchronous Language Principles for Hybrid System Models Haiyang Zheng and.
A Performance Analysis of Fixed and Dynamic Channel Allocation Schemes in Cellular Networks Author Muhammad Emran Co-authors Syed Asad Hussain, Saqib Hussain.
Chess Review November 21, 2005 Berkeley, CA Edited and presented by Platform Based Design for Wireless Sensor Networks Alvise Bonivento UC Berkeley.
Chess Review May 11, 2005 Berkeley, CA Operational Semantics of Hybrid Systems Haiyang Zheng and Edward A. Lee With contributions from the Ptolemy group.
Context Switch in Reconfigurable System Sun, Yuan-Ling ESL of CSIE, CCU
Commutativity Analysis: A New Analysis Framework for Parallelizing Compilers Martin C. Rinard Pedro C. Diniz
Mixing Models of Computation Jie Liu Palo Alto Research Center (PARC) 3333 Coyote Hill Rd., Palo Alto, CA joint work with Prof. Edward.
Chess Review May 10, 2004 Berkeley, CA Platform-based Design for Mixed Analog-Digital Designs Fernando De Bernardinis, Yanmei Li, Alberto Sangiovanni-Vincentelli.
Chess Review November 21, 2005 Berkeley, CA Edited and presented by Causality Interfaces and Compositional Causality Analysis Rachel Zhou UC Berkeley.
Expressing Giotto in xGiotto and related schedulability problems Class Project Presentation Concurrent Models of Computation for Embedded Software University.
Hierarchical Reconfiguration of Dataflow Graphs Stephen Neuendorffer UC Berkeley Poster Preview May 10, 2004.
Synthesizable, Space and Time Efficient Algorithms for String Editing Problem. Vamsi K. Kundeti.
Dynamic Reconfiguration of Component-based Real-time Software Words February 2005 Sedona, Arizona, USA Andreas Rasche, Andreas Polze and Martin.
NSF Foundations of Hybrid and Embedded Software Systems UC Berkeley: Chess Vanderbilt University: ISIS University of Memphis: MSI Program Review May 10,
P t o l e m y A Framework For Simulating and Prototyping Heterogeneous Systems by Joseph Buck, Soonhoi Ha, Edward A. Lee & David G. Messerschmitt P r e.
MOBIES Project Progress Report Engine Throttle Controller Design Using Multiple Models of Computation Edward Lee Haiyang Zheng with thanks to Ptolemy Group.
NSF Foundations of Hybrid and Embedded Software Systems UC Berkeley: Chess Vanderbilt University: ISIS University of Memphis: MSI Program Review May 10,
Introduction to Data Structures RSB. Data Needs Order Where’s Waldo ???
Chess Review November 21, 2005 Berkeley, CA Edited and presented by Coupled Interface Modules for Heterogeneous Composition Ethan Jackson ISIS, Vanderbilt.
ME 270 Final Project Presentation Operational Amplifiers.
Rubao Ji Advisor: Dr. Robert W. Robinson Committee: Dr. E. Rodney Canfield Dr. Daniel M. Everett   Dynamic connectivity algorithms for Feynman.
Test Automation For Web-Based Applications Portnov Computer School Presenter: Ellie Skobel.
Process Flowsheet Generation & Design Through a Group Contribution Approach Lo ï c d ’ Anterroches CAPEC Friday Morning Seminar, Spring 2005.
Research, Development, Consulting, Training High Fidelity Modeling and Simulation Where we are going… …future plans.
MA/CSSE 473 Day 15 BFS Topological Sort Combinatorial Object Generation Intro.
Model-Based Diagnosis of Hybrid Systems Papers by: Sriram Narasimhan and Gautam Biswas Presented by: John Ramirez.
SEC PI Meeting 10/00 Fault-Adaptive Control Technology Gabor Karsai Gautam Biswas Sriram Narasimhan Tal Pasternak Gabor Peceli Gyula Simon Tamas Kovacshazy.
November 21, 2005 Center for Hybrid and Embedded Software Systems Example To illustrate how changes in DB can be used to efficiently update a block diagram,
LHCb Software Week November 2003 Gennady Kuznetsov Production Manager Tools (New Architecture)
Control Synthesis and Reconfiguration for Hybrid Systems October 2001 Sherif Abdelwahed ISIS Vanderbilt University.
Start Presentation November 1, 2012 Treatment of Discontinuities II We shall today once more look at the modeling of discontinuous systems. First, an additional.
Computer Network Lab. Integrated Coverage and Connectivity Configuration in Wireless Sensor Networks SenSys ’ 03 Xiaorui Wang, Guoliang Xing, Yuanfang.
DSP Architectures Additional Slides Professor S. Srinivasan Electrical Engineering Department I.I.T.-Madras, Chennai –
Copyright © Vanderbilt University, Technical University of Budapest Fault-Adaptive Control Technology F C-3611 Gabor Karsai Gautam Biswas Sherif.
Computer Simulation of Networks ECE/CSC 777: Telecommunications Network Design Fall, 2013, Rudra Dutta.
Top-K Generation of Integrated Schemas Based on Directed and Weighted Correspondences by Ahmed Radwan, Lucian Popa, Ioana R. Stanoi, Akmal Younis Presented.
CS 351/ IT 351 Modeling and Simulation Technologies Review ( ) Dr. Jim Holten.
Riccardo Fellegara University of Genova Genova, Italy
FACT 10/99 Vanderbilt / ISIS Fault-Adaptive Control Technology FACT Gabor Karsai, Gautam Biswas (VU/ISIS) Gabor Peceli (TUB)
CONFIDENTIAL © 2007 Maplesoft, a division of Waterloo Maple Inc. Confidential MapleSim Pilot Test Program.
Custom Computing Machines for the Set Covering Problem Paper Written By: Christian Plessl and Marco Platzner Swiss Federal Institute of Technology, 2002.
 General description of Power Supply  Advantages/Disadvantages of SMPS  Block diagram of SMPS  Basic topologies and practical  Requirements  Various.
Marilyn Wolf1 With contributions from:
Port-Hamiltonian Description of Electro-Thermal Field-Circuit models
A Network Model for the Utility Domain
Computer Simulation of Networks
Verilog to Routing CAD Tool Optimization
SAT-Based Area Recovery in Technology Mapping
Topological Ordering Algorithm: Example
Topological Ordering Algorithm: Example
Presented By: Darlene Banta
Topological Ordering Algorithm: Example
Chapter 4: Simulation Designs
Topological Ordering Algorithm: Example
Presentation transcript:

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

Chess Review, Nov. 21, 2005"Efficient Simulation Model for Hybrid Bond Graphs," C. Beers2 Introduction Simulation of hybrid systems must combine two models of computation Hybrid Bond Graphs (HBGs) combine –Continuous bond graph (BG) models with –Switching junctions controlled by FSM to provide a topological framework that supports run- time model reconfiguration However, no computational model associated with HBGs Question: How does one systematically derive simulation models from HBGs? Approach: Use causal structure implied by BG to derive block diagram models for simulation (SCAP algorithm)

Chess Review, Nov. 21, 2005"Efficient Simulation Model for Hybrid Bond Graphs," C. Beers3 HBG Overview BG to Block Diagram Computational Model –Constituent element blocks + algebraic relations at junctions Determining Bond (DB) –One per junction, derived from causality at junction –Determines algebraic relations HBG Complexities –Junction switches (on and off) may cause causality changes at runtime, thus block diagram may change –Only changes in DBs will change algebraic relations at junction –These changes can propagate

Chess Review, Nov. 21, 2005"Efficient Simulation Model for Hybrid Bond Graphs," C. Beers4 Approaches Pre-generate block diagrams for all modes –2 n possible configurations Generate block diagrams from scratch after every mode change –Can be computationally expensive at switches Smarter approach: derive new block diagram incrementally from old –Start with block diagram in initial mode –Look for changes in DBs Update block diagram at changes Junction 1a off, junction 1b on: DB Off Junction 1a on, junction 1b off: No change in DB

Chess Review, Nov. 21, 2005"Efficient Simulation Model for Hybrid Bond Graphs," C. Beers5 Efficient Simulation Model Causality update triggered by change in discrete state –Start at junctions which switch –If they cause changes in adjacent junction DBs then update DB’s algebraic constraints –Continue till no DB change or all junctions visited For efficiency, junctions implemented as S-functions; use global variables (cf. Ptolemy’s director function)

Chess Review, Nov. 21, 2005"Efficient Simulation Model for Hybrid Bond Graphs," C. Beers6 Questions?