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,

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.
Sahar Mosleh PageCalifornia State University San Marcos 1 Introductory Concepts This section of the course introduces the concept of digital circuits and.
Signals and Systems March 25, Summary thus far: software engineering Focused on abstraction and modularity in software engineering. Topics: procedures,
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.
ECE Electric Drives Topic 6: Voltage-Fed Converters Spring 2004.
Supervisory Control of Hybrid Systems Written by X. D. Koutsoukos et al. Presented by Wu, Jian 04/16/2002.
Model Checker In-The-Loop Flavio Lerda, Edmund M. Clarke Computer Science Department Jim Kapinski, Bruce H. Krogh Electrical & Computer Engineering MURI.
Modeling and Simulation for Power Electronics and Electrical Drives dr. ir. P.J. van Duijsen Simulation Research Haus der Technik, München, 2003.
Presented by: Thabet Kacem Spring Outline Contributions Introduction Proposed Approach Related Work Reconception of ADLs XTEAM Tool Chain Discussion.
Introduction to Fault Diagnosis and Isolation(FDI) By Hariharan Kannan.
The Dymola Bond Graph Library
Object-Oriented Analysis and Design
Towards Distributed Diagnosis of Complex Physical Systems J. Gandhe Embedded & Hybrid Systems Laboratory, EECS Dept & ISIS, Vanderbilt University Collaborators:
Dirk Zimmer François E. Cellier Institute of Computational Science Department of Computer Science ETH Zürich A bondgraphic modeling tool and its application.
François E. Cellier and Matthias Krebs
Chess Review November 21, 2005 Berkeley, CA Edited and presented by Efficient Simulation Model for Hybrid Bond Graphs Christopher Beers ISIS, Vanderbilt.
EECE Hybrid and Embedded Systems: Computation
Mixing Models of Computation Jie Liu Palo Alto Research Center (PARC) 3333 Coyote Hill Rd., Palo Alto, CA joint work with Prof. Edward.
Design of Fault Tolerant Data Flow in Ptolemy II Mark McKelvin EE290 N, Fall 2004 Final Project.
November 21, 2005 Center for Hybrid and Embedded Software Systems Engine Hybrid Model A mean value model of the engine.
Copyright © Cengage Learning. All rights reserved. CHAPTER 2 THE LOGIC OF COMPOUND STATEMENTS THE LOGIC OF COMPOUND STATEMENTS.
An Introduction to UML & Modeling Resources Using UML Rahul Shah EE249 Discussion Sept. 25, 2001.
MOBIES Project Progress Report Engine Throttle Controller Design Using Multiple Models of Computation Edward Lee Haiyang Zheng with thanks to Ptolemy Group.
System-Level Types for Component-Based Design Paper by: Edward A. Lee and Yuhong Xiong Presentation by: Dan Patterson.
ME 270 Final Project Presentation Operational Amplifiers.
Implementation of 2D FDTD
Ch.2 Part A: Requirements, State Charts EECE **** Embedded System Design.
- 1 - Embedded Systems—State charts Specifications.
- 1 -  P. Marwedel, Univ. Dortmund, Informatik 12, 2005/6 Universität Dortmund Specifications.
Signals and Systems March 25, Summary thus far: software engineering Focused on abstraction and modularity in software engineering. Topics: procedures,
Class, Sequence and UML Model.  Has actors and use cases.
ArchiMate Authors : eSchoolink Group - ITNLU. Contents 1. What’s ArchiMate ? 2. Why ArchiMate ? 3. Main Benefits of ArchiMate 4. Layers of ArchiMate 5.
Architecture-Based Runtime Software Evolution Peyman Oreizy, Nenad Medvidovic & Richard N. Taylor.
Building Tools by Model Transformations in Eclipse Oskars Vilitis, Audris Kalnins, Edgars Celms, Elina Kalnina, Agris Sostaks, Janis Barzdins Institute.
ECO-BOND GRAPHS An Energy-Based Modeling and Simulation Framework for Complex Dynamic Systems with a focus on Sustainability and Embodied Energy Flows.
Model-Based Diagnosis of Hybrid Systems Papers by: Sriram Narasimhan and Gautam Biswas Presented by: John Ramirez.
Week 6: Gates and Circuits: PART I READING: Chapter 4.
Start Presentation October 25, th Homework - Solution In this homework, we shall exercise the modeling of a simple electrical circuit using bond.
September Bound Computation for Adaptive Systems V&V Giampiero Campa September 2008 West Virginia University.
Copyright © Cengage Learning. All rights reserved. 6 Normal Probability Distributions.
Computer Systems & Architecture Lesson 4 8. Reconstructing Software Architectures.
A New Methodology for Systematic Conceptual Design by means of Generalized Discrete Representations Research group conducted by Dr. Offer Shai Department.
Start Presentation November 1, 2012 Treatment of Discontinuities II We shall today once more look at the modeling of discontinuous systems. First, an additional.
1 RLL: Relay Ladder Logic CONTENTS 1. PLC operation 2. PLC programming 3. Ladder logic 4. Memory and gates.
Graphical Design Environment for a Reconfigurable Processor IAmE Abstract The Field Programmable Processor Array (FPPA) is a new reconfigurable architecture.
Institute for Software Integrated Systems Vanderbilt University On Metamodel Composition Akos Ledeczi, Greg Nordstrom, Gabor Karsai, Peter Volgyesi and.
CONFIDENTIAL © 2007 Maplesoft, a division of Waterloo Maple Inc. Confidential MapleSim Pilot Test Program.
ECE/CS 584: Verification of Embedded Computing Systems Model Checking Timed Automata Sayan Mitra Lecture 09.
Topics 1 Specific topics to be covered are: Discrete-time signals Z-transforms Sampling and reconstruction Aliasing and anti-aliasing filters Sampled-data.
ECE DIGITAL LOGIC LECTURE 15: COMBINATIONAL CIRCUITS Assistant Prof. Fareena Saqib Florida Institute of Technology Fall 2015, 10/20/2015.
EKT 441 MICROWAVE COMMUNICATIONS CHAPTER 3: MICROWAVE NETWORK ANALYSIS (PART 1)
Better together... we deliver MODELLING, CONTROL AND OPTIMISATION OF A DUAL CIRCUIT INDUCED DRAFT COOLING WATER SYSTEM February 2016 C.J. Muller Sasol;
 General description of Power Supply  Advantages/Disadvantages of SMPS  Block diagram of SMPS  Basic topologies and practical  Requirements  Various.
Institute for Software Integrated Systems Vanderbilt University Virtual Prototyping Test Bed for CPS Janos Sztipanovits Institute for Software Integrated.
Chapter 3 Boolean Algebra and Digital Logic T103: Computer architecture, logic and information processing.
Architectural Complexity  A useful technique for assessing the overall complexity of a proposed architecture is to consider dependencies between components.
Lecture Notes / PPT UNIT III
Control engineering ( ) Time response of first order system PREPARED BY: Patel Ravindra.
Lecture 1 Gunjeet kaur Dronacharya group of institutions.
Prototyping SoC-based Gate Drive Logic for Power Convertors by Generating code from Simulink models. Researchers Rounak Siddaiah, Graduate Student-University.
Integration of OCP and SIMULINK
Damped Forced Vibrations Analysis Using CAMP-G® and Simulink® Modeled Solutions to Problem (
Port-Hamiltonian Description of Electro-Thermal Field-Circuit models
EKT 356 MICROWAVE COMMUNICATIONS
Multiple Aspect Modeling of the Synchronous Language Signal
LECTURE #5 System Modeling& Responses
Presented By: Darlene Banta
Copyright © Cengage Learning. All rights reserved.
ECE 352 Digital System Fundamentals
Presentation transcript:

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, consider the circuit shown to the left. Following standard bond graph modeling techniques, we obtain the corresponding bond graph: Converting this bond graph to a block diagram results in: Junction 1 a switching off results in a change in determining bonds: And thus a change in the block diagram: Yet the changes are not always this drastic; consider junction 1 b switching off. Since the determining bond remains the same, the change is local to the switching junction: Introduction Why Hybrid Bond Graphs? A large class of present day complex systems and processes combine continuous plants and discrete controllers, and are typically described as hybrid systems. A convenient approach to modeling such systems is the hybrid bond graph language, a generic lumped parameter, energy-based modeling language that provides a common topological framework for modeling a number of different physical system domains, such as electrical, fluid, mechanical, and thermal systems. The hybrid bond graph (HBG) paradigm, extends classic bond graph (BG) modeling by incorporating mechanisms that allow for discrete changes in system configuration, and, therefore, the dynamic behavior of the system. Christopher Beers, Vanderbilt University Efficient Simulation Model for Hybrid Bond Graphs Simulation Results: The above simulation was run for 10 seconds, switching though all possible modes. The figure shows the efforts and flows for each junction, as well as the junction states. Approach Bond graph to block diagram conversion: HBG provide a topological framework that supports run-time model reconfiguration, however, there is no associated computational model. Our approach: use causal structure implied by BG to derive block diagrams for simulation Determining Bond Determining bonds (DB) express causality at a junction. Only changes in DBs result in changes in the junction’s algebraic relations, and have the possibility of propagating. 1 b Switches Off: 1 a Switches Off: Implementation MATLAB/Simulink The notion of determining bonds can be used to implement an efficient simulation. A causality update function is triggered by a change in discrete state, which propagates new DBs. Junctions are implemented as S-functions that enforce DB’s algebraic constraints. New DB Old DB Related Work & Conclusions Algebraic constraints may be directly implemented in Simulink, yet this approach does not scale well. Edstrom worked on causality reassignment after junction switches occur, but his focus was on derivative causality and not efficiency. Umarikar and Umanand took a similar approach with the notion of switched power junctions. Ptolemy’s notion of a director would have made integration of the continuous and discrete models of computation more natural. HYBRSIM, developed by P. Mosterman, can simulate hybrid bond graphs with runtime causality changes, but does so in an interpreted fashion. Same DB Same algebraic relations New DB New algebraic relations Junctions represent algebraic constraints between elements, determined by causality assignments. In HBGs, junctions can switch and thus the algebraic relations can change at runtime. This implies the block diagram can change at runtime. Need a way to track and propagate these changes.