Lecture #4: Simulation of Hybrid Systems

Total Page:16

File Type:pdf, Size:1020Kb

Lecture #4: Simulation of Hybrid Systems Embedded Control Systems Lecture 4 – Spring 2018 Knut Åkesson Modelling of Physcial Systems Model knowledge is stored in books and human minds which computers cannot access “The change of motion is proportional to the motive force impressed “ – Newton Newtons second law of motion: F=m*a Slide from: Open Source Modelica Consortium, Copyright © Equation Based Modelling • Equations were used in the third millennium B.C. • Equality sign was introduced by Robert Recorde in 1557 Newton still wrote text (Principia, vol. 1, 1686) “The change of motion is proportional to the motive force impressed ” Programming languages usually do not allow equations! Slide from: Open Source Modelica Consortium, Copyright © Languages for Equation-based Modelling of Physcial Systems Two widely used tools/languages based on the same ideas Modelica + Open standard + Supported by many different vendors, including open source implementations + Many existing libraries + A plant model in Modelica can be imported into Simulink - Matlab is often used for the control design History: The Modelica design effort was initiated in September 1996 by Hilding Elmqvist from Lund, Sweden. Simscape + Easy integration in the Mathworks tool chain (Simulink/Stateflow/Simscape) - Closed implementation What is Modelica A language for modeling of complex cyber-physical systems • Robotics • Automotive • Aircrafts • Satellites • Power plants • Systems biology Slide from: Open Source Modelica Consortium, Copyright © What is Modelica A language for modeling of complex cyber-physical systems Primary designed for simulation, but there are also other usages of models, e.g. optimization. Slide from: Open Source Modelica Consortium, Copyright © What is Modelica A language for modeling of complex cyber-physical systems i.e., Modelica is not a tool Free, open language There exist several free and commercial tools, specification: for example: • OpenModelica from OSMC • Dymola from Dassault systems • Wolfram System Modeler from Wolfram • SimulationX from ITI • MapleSim from MapleSoft • AMESIM from LMS • JModelica.org from Modelon Available at: www.modelica.org • MWORKS from Tongyang Sw & Control Developed and standardized • IDA Simulation Env, from Equa by Modelica Association • ESI Group Modeling tool, ESI Group Slide from: Open Source Modelica Consortium, Copyright © Modelica Declarative language Equations and mathematical functions allow acausal modeling, high level specification, increased correctness Multi-domain modeling Combine electrical, mechanical, thermodynamic, hydraulic, biological, control, event, real-time, etc... Everything is a class Strongly typed object-oriented language with a general class concept, Java & MATLAB-like syntax Visual component programming Hierarchical system architecture capabilities Efficient, non-proprietary Efficiency comparable to C; advanced equation compilation, e.g. 300 000 equations, ~150 000 lines on standard PC Slide from: Open Source Modelica Consortium, Copyright © Acasual Modeling What is acausal modeling/design? Why does it increase reuse? The acausality makes Modelica library classes more reusable than traditional classes containing assignment statements where the input-output causality is fixed. Example: a resistor equation: R*i = v; can be used in three ways: i := v/R; v := R*i; R := v/i; Slide from: Open Source Modelica Consortium, Copyright © Modelica: Typed Declarative Equation-based Textual Langauge A textual class-based language OO primary used for as a structuring concept Behaviour described declaratively using • Differential algebraic equations (DAE) (continuous-time) • Event triggers (discrete-time) Variable class VanDerPol "Van der Pol oscillator model" declarations Real x(start = 1) "Descriptive string for x”; Real y(start = 1) "y coordinate”; parameter Real lambda = 0.3; equation der(x) = y; der(y) = -x + lambda*(1 - x*x)*y; end VanDerPol; Differential equations Slide from: Open Source Modelica Consortium, Copyright © Simscape vs Simulink Van der Pol Equation in the Simscape Language Faster Development Block Diagram (e.g. Simulink, ...) or Proprietary Code (e.g. Ada, Fortran, C,...) vs Modelica/Simscape Causality Systems Derivation Definition Modeling of (manual derivation of System Subsystems Decomposition input/output relations) Implementation Simulation Proprietary Code Block Diagram Modelica/ Simscape Slide from: Open Source Modelica Consortium, Copyright © Casual vs Acasual modelling Modelica/Simscape (acasual): Keeps the Simulink (casual): Physical model – physical Signal-flow model – hard to structure easy to understand understand Res2 sum3 Ind l2 p p -1 1 R2 1/L 1 s R1=10 R2=100 sum2 p n n +1 +1 AC=220 p p sinln sum1 Res1 Cap l1 n +1 1 1/R1 1/C -1 s C=0.01 L=0.1 n n p G Slide from: Open Source Modelica Consortium, Copyright © Multi-Domain Modeling in Modelica • A DC motor can be thought of as an electrical circuit which also contains an electromechanical component model DCMotor Resistor R(R=100); Inductor L(L=100); VsourceDC DC(f=10); Ground G; ElectroMechanicalElement EM(k=10,J=10, b=2); Inertia load; equation R L connect(DC.p,R.n); EM connect(R.p,L.n); DC connect(L.p, EM.n); connect(EM.p, DC.n); load connect(DC.n,G.p); connect(EM.flange,load.flange); G end DCMotor Slide from: Open Source Modelica Consortium, Copyright © Corresponding DC-Motor Model Equations The following equations are automatically derived from the Modelica model: (load component not included) Automatic transformation to ODE or DAE for simulation: Slide from: Open Source Modelica Consortium, Copyright © Model Translation Process to Hybrid DAE to Code Modelica Graphical Editor Modelica Modelica Modelica Model Source code Textual Editor Modelica Model Frontend Translator Modeling Flat model Hybrid DAE Environment Analyzer "Middle-end" Sorted equations Optimizer Optimized sorted equations Backend Code generator C Code C Compiler Executable Simulation Slide from: Open Source Modelica Consortium, Copyright © Software Component Model Interface Acausal coupling Connector Component Connection Component Causal coupling A component class should be defined independently of the environment, very essential for reusability A component may internally consist of other components, i.e. hierarchical modeling Complex systems usually consist of large numbers of connected components Slide from: Open Source Modelica Consortium, Copyright © Connectors and Connector Classes in Modelica Connectors are instances of connector classes electrical connector connector class connector Pin Voltage v; v + keyword flow flow Current i; pin indicates that currents end Pin; of connected pins i sum to zero. Pin pin; an instance pin of class Pin mechanical connector connector class connector Flange Position s; flow Force f; s end Flange; flange f an instance flange Flange flange; of class Flange Slide from: Open Source Modelica Consortium, Copyright © The flow prefix Two kinds of variables in connectors: • Non-flow variables potential or energy level (Simscape: Across) • Flow variables represent some kind of flow (Simscape: Though) Coupling • Equality coupling, for non-flow variables • Sum-to-zero coupling, for flow variables The value of a flow variable is positive when the current or the flow is into the component v pin positive flow direction: i + Slide from: Open Source Modelica Consortium, Copyright © Energy flows Across Through Nonflow Domain Potential Flow Carrier Type Electrical Voltage Current Charge Translational Position Force Linear momentum Angular Rotational Angle Torque momentum Magnetic Magnetic Magnetic Magnetic flux potential flux rate Hydraulic Pressure Volume flow Volume Heat Temperature Heat flow Heat Chemical Chemical Particle flow Particles potential Pneumatic Pressure Mass flow Air Slide from: Open Source Modelica Consortium, Copyright © Connect equations in Modelica Connections between connectors are realized as equations in Modelica connect(connector1,connector2) The two arguments of a connect-equation must be references to connectors, either to be declared directly within the same class or be members of one of the declared variables in that class + v v + pin1 pin2 i i Pin pin1,pin2; //A connect equation //in Modelica: Corresponds to pin1.v = pin2.v; connect(pin1,pin2); pin1.i + pin2.i =0; Slide from: Open Source Modelica Consortium, Copyright © Connect Equations in Modelica Pin pin1,pin2; //A connect equation //in Modelica Corresponds to pin1.v = pin2.v; connect(pin1,pin2); pin1.i + pin2.i =0; Multiple connections are possible: connect(pin1,pin2); connect(pin1,pin3); ... connect(pin1,pinN); Each primitive connection set of nonflow variables is used to generate equations of the form: v1 = v2 = v3 = ⋯ = vn Each primitive connection set of flow variables is used to generate sum-to-zero equations of the form: i1 + i2 + i3 + ⋯ + in = 0 Slide from: Open Source Modelica Consortium, Copyright © Conclusions Equation-based modelling facilitate modelling of multi-domain systems. More complex system benfit more from taking advantage of the better structuring and increased possiblity for reusability. Industry is moving away from modelleing everything in Simulink to also used Modelica and/or Simscape. Tradeoff between using an open standardized language and using an integrated tool-chain. In the project you will use Simscape for modelling the physics and Simulink to implement the control algorithms. Next: View Webinar about Physical Modelling with the Simscape Language. Webinar: Physcial Modeling with the Simscape Language https://se.mathworks.com/videos/physical-modeling-with-the-simscape- language-81733.html Simscape Documentation https://se.mathworks.com/help/physmod/simscape/.
Recommended publications
  • Applying Reinforcement Learning to Modelica Models
    ModelicaGym: Applying Reinforcement Learning to Modelica Models Oleh Lukianykhin∗ Tetiana Bogodorova [email protected] [email protected] The Machine Learning Lab, Ukrainian Catholic University Lviv, Ukraine Figure 1: A high-level overview of a considered pipeline and place of the presented toolbox in it. ABSTRACT CCS CONCEPTS This paper presents ModelicaGym toolbox that was developed • Theory of computation → Reinforcement learning; • Soft- to employ Reinforcement Learning (RL) for solving optimization ware and its engineering → Integration frameworks; System and control tasks in Modelica models. The developed tool allows modeling languages; • Computing methodologies → Model de- connecting models using Functional Mock-up Interface (FMI) to velopment and analysis. OpenAI Gym toolkit in order to exploit Modelica equation-based modeling and co-simulation together with RL algorithms as a func- KEYWORDS tionality of the tools correspondingly. Thus, ModelicaGym facilit- Cart Pole, FMI, JModelica.org, Modelica, model integration, Open ates fast and convenient development of RL algorithms and their AI Gym, OpenModelica, Python, reinforcement learning comparison when solving optimal control problem for Modelica dynamic models. Inheritance structure of ModelicaGym toolbox’s ACM Reference Format: Oleh Lukianykhin and Tetiana Bogodorova. 2019. ModelicaGym: Applying classes and the implemented methods are discussed in details. The Reinforcement Learning to Modelica Models. In EOOLT 2019: 9th Interna- toolbox functionality validation is performed on Cart-Pole balan- tional Workshop on Equation-Based Object-Oriented Modeling Languages and arXiv:1909.08604v1 [cs.SE] 18 Sep 2019 cing problem. This includes physical system model description and Tools, November 04–05, 2019, Berlin, DE. ACM, New York, NY, USA, 10 pages. its integration using the toolbox, experiments on selection and in- https://doi.org/10.1145/nnnnnnn.nnnnnnn fluence of the model parameters (i.e.
    [Show full text]
  • ESI's Simulationx
    by ESI‘s SimulationX Courses and Contents SimulationX is a registered trademark of ESI ITI GmbH Dresden. © ESI ITI GmbH, Dresden, Germany, 2019. All rights reserved. Doc. Vers. 08/2019 Preface Dear Sir or Madam, with the continuous development of SimulationX we provide you with the necessary resources for a targeted and sustain- able work in the field of system simulation. You will learn the efficient use of the software and its innovations in group and individual training courses at ESI or directly at your site. The highly practical nature of our courses and the professional Your personal contact: expertise of our tutors guarantee a quick and successful learn- ing process. We look forward to passing on our knowledge and would be happy to discuss new solutions with you. Antje Richter T + 49 (0) 351 260 50 - 120 With best regards on behalf of the ESI team, F + 49 (0) 351 260 50 - 155 [email protected] Antje Richter, Content 1 ESI ITI Academy 1.1 Introduction 07 1.2 Course Overview 08 1.3 Conditions of Participation 09 1.4 Registration 10 2 Introduction to SimulationX 2.1 Fundamentals 11 2.2 Advanced Modeling 12 2.3 Methods for Calculation and Analyses 13 3 Physical Domains 3.1 Mechanics (1D) 14 3.2 Planar Mechanics 15 3.3 Multi-Body Systems 16 3.4 Hydraulics 17 3.5 Thermal 18 3.6 Pneumatics 19 3.7 Acoustics (1D) 20 3.8 Electronics, Electromagnetics, Electromechanics 21 3.9 Electrical Power & Communications Analysis (1D) 22 3.10 Control Engineering 23 Content 4 Applications 4.1 Drive Systems 24 4.1 Drive Systems 25 4.2 Hybrid
    [Show full text]
  • Simulationx를 이용한 기계, 유체, 전기 통합 시스템 모델링 및 해석 Simulationx, Multi-Domain Simulation and Modeling Tool for the Design, Analysis, and Optimization of Complex Systems
    기술해설 SimulationX를 이용한 기계, 유체, 전기 통합 시스템 모델링 및 해석 SimulationX, Multi-domain Simulation and Modeling tool for the Design, Analysis, and Optimization of Complex systems 윤영환, 장주섭 Y. H. Yoon and J. S. Jang 1. 서 론 SimulationX의 사용상 장점은 다음과 같다. 1) 각기 다른 분야의 엔지니어들이 각자의 방식대 컴퓨터의 성능 발달로 인하여 이것을 활용한 시 로 부품이나 시스템을 모델링 할 수 있고, 이를 뮬레이션의 활용도가 높아지고 있고, 그 결과 복잡 서로 공유함으로써 복합적인 시스템 전체의 해 한 시스템을 실제 시스템처럼 모사가 가능하다. 이 석을 가능하게 하여 Multi-Domain Simulation 러한 CAE(Computer Aided Engineering) 기술 활 S/W라고 한다. 용은 비용 절감 및 개발 기간의 단축이라는 점에서 2) 상호 작용 및 피드백을 포함하는 다양한 도메 매우 중요하며, 현재 많은 제품 개발에 해석 기술이 인 부품들의 상호 작용을 모델링 할 수 있다. 활용되고 있다.1-4) 3) 시스템 개발에 있어서 공통적인 모델링 및 해 SimulationX는 독일의 드레스덴(Dresden)에 본사 석 환경을 이용함으로써 모든 관계자들 간 상 를 두고 있는 ITI GmbH에서 개발한 Multi-Domain 호 이해의 기반을 다질 수 있다. 시뮬레이션 프로그램으로서, 어떤 시스템을 구성하 4) 시제품(prototype) 제작 및 테스트 기간을 단축 고 있는 부품들의 상호 작용을 해석하고 평가할 수 하고 개발 비용을 절감할 수 있다. 있는 대표적인 소프트웨어(Software, S/W)이다. 5) 실제로 측정이 어렵거나 불가능한 모델에 대한 SimulationX를 가장 많이 시용하는 업체로는 유 관찰이 가능하여 시스템 전반에 대한 이해도를 럽의 BMW, Benz와 같은 자동차산업의 선두그룹으 높여 준다. 로 독일 자동차 회사들이 왜 세계 최고의 제품을 SimulationX의 조작 화면(GUI)은 그림 1과 같이 만드는지 알 수 있을 정도로 잘 만들어진 S/W이다. 왼쪽의 각종 물리적인 모델을 포함하고 있는 라이 SimulationX는 이미 라이브러리 화 되어있는 기 브러리, 오른쪽 위에 이러한 모델들을 배치하고 서 계(1D mechanics, 3D multi-body systems), 유압 로 연결하여 시스템 전체의 회로도를 작성하는 (Hydraulics), 공압(Pneumatics), 제어(Controls), 전 Model view외 각 모델의 물리적 특성 파라미터의 기, 전자(Electric, Electronics), 자장(Magnetics), 파 표시 및 조정, 해석과 관련된 사항을 조정하는 워트레인(Power transmission 1D, 3D), 전기 기계 Model explorer로 구성되어 있다.
    [Show full text]
  • Efficient Software Tools in the Renewable Energy Domain: Maple and Maplesim
    EnviroInfo 2013: Environmental Informatics and Renewable Energies Copyright 2013 Shaker Verlag, Aachen, ISBN: 978-3-8440-1676-5 Efficient software tools in the renewable energy domain: Maple and MapleSim Ji ří H řebí ček 1, Jaroslav Urbánek 1,2 Abstract There are presented efficient software tools Maple and MapleSim for solving technical problems in the renewable energy domain using mathematics-based modelling. MapleSim represents the simulation environment, which has a graphical interface for interconnecting system components. The system models are then processed by the Maple (symbolic computation system) mathematics engine, and finally the differential-algebraic equations describing the solved systems are simulated numerically to produce and 2-D, 3-D visualise output results. Maple allows users to quickly focus and reliably solve problems with easy access to over 5000 algorithms and functions developed over 30 years of cutting-edge research and development. In the paper there are presented two solved problems in the renewa- ble energy domain, which are freely downloadable from the web of the Canadian company Maplesoft developing above software tools. 1. Introduction The Canadian company Maplesoft 3 has developed simple and friendly used software tools Maple® 4 and MapleSim® 5 which reduce the cost and effort of developing high-fidelity models of power generation and energy storage systems, including gas and steam turbine generator sets; wind, wave, and solar energy sys- tems and batteries. Maple information technology has been trusted as a cutting edge mathematical and technical tool for over 30 years. In that time, millions of users from around the world have used and relied on the power of Maple for their research, testing, analysis, design, teaching, and schoolwork (Gander/Hřebí ček 2004), (Lynch 2009), (Borwein/Skerritt 2011), (Fox 2011), (Hřebí ček et al 2011), (Hřebí ček 2012).
    [Show full text]
  • S C H U L U N G S K a T a L O G 2 0
    SCHULUNGSKATALOG 2021 ENGINEERING SYSTEM INTERNATIONAL GMBH www.esi-group.com DIVE INTO THE WORLD OF ZERO TESTS, ZERO PROTOTYPES, ZERO DOWNTIME Seit der Gründung im Jahre 1973 hat ESI die Vision, reale und praxisnahe Konstruk- tionsprobleme verschiedener Industriezweige zu lösen. Diese Simulationslösungen, die auf der Materialphysik basieren, erzielten 1985 eine Weltpremiere: Zum ersten Mal wurde ein virtueller Crash-Test für Volkswagen durchgeführt, der den Weg für den umfangreichen Einsatz virtueller Lösungen in Entwicklungsprozessen eb- nete und neue Sicherheitsstandards etablierte. Ein neues Paradigma, die Outcome Economy Die zunehmende Komplexität stellt alle Branchen vor Herausforderungen. Die Herstel- ler stehen vor vielen neuen Aufgaben, um die Bedürfnisse der Kunden in Hinblick auf Qualität, Zuverlässigkeit, Sicherheit und pünktlicher Lieferung zu erfüllen. Die Outcome Economy erschwert die Erfüllung der wichtigen Leistungsindikatoren, da der Erfolg an der Leistung und nicht am Produkt selbst gemessen wird. Die Industrien müssen Wach- stum erzielen bei gleichzeitiger Aufrechterhaltung der Innovation. Daher entschei- den sie sich für eine digitale Transformation, die sie zu Initiativen ohne nachgewiesene Ergebnisse führen könnte. Courtesy of Volkswagen AG 2 Transformations-Reise Die von der ESI Group angebotenen Lösungen – das Ergebnis aus 45 Jahren Erfahrung – bringen die technologische Kompetenz mit, sich effizient und zuversichtlich zu entwickeln. Als Kernstück des ESI-Geschäftsmodells ermöglicht Virtual Proto- typing seinen globalen Kunden die Herstellung, Montage und das Verhalten ih- rer Produkte in verschiedenen Umgebungen zu validieren und so ihre Kos- ten und die Markteinführungszeit zu minimieren, ohne Abstriche bei Sicher- heit und Qualität zu machen. Um diese Ziele zu erreichen, begleitet ESI seine Kunden auf dem Weg hin zu Zero Tests, Zero Prototypes und Zero Downtime.
    [Show full text]
  • Reusing Static Analysis Across Di Erent Domain-Specific Languages
    Reusing Static Analysis across Dierent Domain-Specific Languages using Reference Attribute Grammars Johannes Meya, Thomas Kühnb, René Schönea, and Uwe Aßmanna a Technische Universität Dresden, Germany b Karlsruhe Institute of Technology, Germany Abstract Context: Domain-specific languages (DSLs) enable domain experts to specify tasks and problems themselves, while enabling static analysis to elucidate issues in the modelled domain early. Although language work- benches have simplified the design of DSLs and extensions to general purpose languages, static analyses must still be implemented manually. Inquiry: Moreover, static analyses, e.g., complexity metrics, dependency analysis, and declaration-use analy- sis, are usually domain-dependent and cannot be easily reused. Therefore, transferring existing static analyses to another DSL incurs a huge implementation overhead. However, this overhead is not always intrinsically necessary: in many cases, while the concepts of the DSL on which a static analysis is performed are domain- specific, the underlying algorithm employed in the analysis is actually domain-independent and thus can be reused in principle, depending on how it is specified. While current approaches either implement static anal- yses internally or with an external Visitor, the implementation is tied to the language’s grammar and cannot be reused easily. Thus far, a commonly used approach that achieves reusable static analysis relies on the trans- formation into an intermediate representation upon which the analysis is performed. This, however, entails a considerable additional implementation effort. Approach: To remedy this, it has been proposed to map the necessary domain-specific concepts to the algo- rithm’s domain-independent data structures, yet without a practical implementation and the demonstration of reuse.
    [Show full text]
  • Introduction to Dymola
    DYMOLA AND MODELICA Course overview DAY 1 Dymola and Modelica I • Introduction Dymola, Modelica, Modelon • Lecture 1 Overview of Dymola and Physical modeling . Workshop 1 Workflow of modeling physical systems in Dymola • Lecture 2 Simulation and post-processing with Dymola . Workshop 2 Simulating and analyzing a physical system • Lecture 3 Configure system models . Workshop 3 Creating a reconfigurable system DAY 2 Dymola and Modelica I • Lecture 4 Modelica I – Writing Modelica models . Workshop 4a Cauer low pass filter using Electric Library . Workshop 4b A moving coil using Magnetic, Electric and Translational mechanics libraries . Workshop 4c Temperature control using Heat transfer Library • Lecture 5 Understanding equation-based modeling . Workshop 5 Defining boundary conditions • Lecture 6 Trouble shooting and common pitfalls . Workshop 6 Common pitfalls DAY 3 Dymola and Modelica II • Lecture 7 Modelica II – Advanced features . Workshop 7 Implementing a solar collector • Lecture 8 Working with the Modelica Standard Library . Workshop 8a Lamp logic using StateGraph II . Workshop 8b Suspension linkage using MultiBody mechanics • Lecture 9 Hybrid modeling . Workshop 9a Hybrid examples . Workshop 9b Hammer impact model . Workshop 9c Designing a thermostat valve DAY 4 Dymola and Modelica II • Lecture 10 Efficient and reconfigurable modeling . Workshop 10 Creating a system architecture based on templates and interfaces • Lecture 11 Model variants and data management . Workshop 11 Creating a data architecture and adaptive parameter interfaces • Lecture 12 FMI technology . Workshop 12a Import and Export FMUs in Dymola . Workshop 12b FMI with Excel . Workshop 12c FMI with Simulink DAY 5 Dymola and Modelica II • Lecture 13 Workflow automation and scripting . Workshop 13 Automated sensitivity analysis • Lecture 14 Dymola code with other tools .
    [Show full text]
  • Hosted by Indian Institute of Science, Bangalore
    Hosted by Indian Institute of Science, Bangalore 29 November 2018 30 November 2018 Modelica Tutorials – Beginners and 1st Modelica Users’ Meet – India Intermediate level with Hands on (MUMI 2018) Venue Class Room – 222, ICER, IISc, Bangalore Register here https://tinyurl.com/isadigitaltwins Silver Sponsor Bronze Sponsor About Modelica A non-proprietary, object-oriented, equation based language to conveniently model complex multi- domain systems used by many Industries for Modeling and Simulation Control Edge Designer MIKE from OpenModelica from from Bosch Rexroth DHI OSMC SimulationX from ESI ITI Technologies GmbH, Dresden, Germany. Simcenter Amesim from Siemens PLM Software SystemModeler from Wolfram Research, Sweden CATIA Systems Engineering Dymola from Dassault from Dassault Systèmes Systèmes Altair Activate from Altair OPTIMICA Compiler solidThinking Toolkit from Modelon AB ABB OPTIMAX PowerFit Twin Builder MapleSim from JModelica from from ABB Group from ANSYS Waterloo Maple Modelon with academia Application Tool Modelica Tutorial Modelica Users’ Meet India, 2018 Keynote: Dr Peter Fritzson Presenters from Professor and Research Director of the Programming Altair India Private Limited Environment Laboratory at Linköping University BMSCE Bangalore Director of the Open Source Modelica Consortium Dymola Director of the MODPROD center for model-based IISc Bangalore product development IIT Bombay Vice chairman of the Modelica Association ModeliCon InfoTech LLP Modelon Engineering Private Limited Tutorial Agenda SASTRA Deemed University
    [Show full text]
  • Automated Annotation of Simulink Generated C Code Based on the Simulink Model
    DEGREE PROJECT IN COMPUTER SCIENCE AND ENGINEERING, SECOND CYCLE, 30 CREDITS STOCKHOLM, SWEDEN 2020 Automated Annotation of Simulink Generated C Code Based on the Simulink Model SREEYA BASU ROY KTH ROYAL INSTITUTE OF TECHNOLOGY SCHOOL OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCE Automated Annotation of Simulink Generated C Code Based on the Simulink Model SREEYA BASU ROY Master in Embedded Systems Date: September 25, 2020 Supervisor: Predrag Filipovikj Examiner: Matthias Becker School of Electrical Engineering and Computer Science Host company: Scania CV AB Swedish title: Automatisk Kommentar av Simulink Genererad C kod Baserad på Simulink Modellen iii Abstract There has been a wave of transformation in the automotive industry in recent years, with most vehicular functions being controlled electron- ically instead of mechanically. This has led to an exponential increase in the complexity of software functions in vehicles, making it essential for manufactures to guarantee their correctness. Traditional software testing is reaching its limits, consequently pushing the automotive in- dustry to explore other forms of quality assurance. One such technique that has been gaining momentum over the years is a set of verification techniques based on mathematical logic called formal verification tech- niques. Although formal techniques have not yet been adopted on a large scale, these methods offer systematic and possibly more exhaus- tive verification of the software under test, since their fundamentals are based on the principles of mathematics. In order to be able to apply formal verification, the system under test must be transformed into a formal model, and a set of proper- ties over such models, which can then be verified using some of the well-established formal verification techniques, such as model check- ing or deductive verification.
    [Show full text]
  • NI Tools for Automated Testing
    Agenda ▪ Introduction to NI ▪ Real-Time Test ▪ NI Solutions for Real-Time Test ▪ SW ▪ HW ▪ Standardizing the signal path ▪ SLSC ▪ ASAM XIL Mission Statement NI equips engineers and scientists with systems that accelerate productivity, innovation, and discovery. ni.com ONE-PLATFORM APPROACH NI SERVICES AND SUPPORT THIRD-PARTY SOFTWARE THIRD-PARTY HARDWARE WEB SERVICES NI PRODUCTIVE ARDUINO PYTHON DEVELOPMENT SOFTWARE ETHERNET C USB The MathWorks, Inc. MATLAB® GPIB .NET SERIAL VHDL NI MODULAR HARDWARE LXI/VXI AND MORE AND MORE MATLAB® is a registered trademark of The MathWorks, Inc. ONE PLATFORM APPROACH NI SERVICES AND SUPPORT Community THIRD PARTY HARDWARE Support 300,000+ Online Members 700+ Field Engineers 450+ User Groups NI PRODUCTIVE 700+ Support Engineers 9,000+ Code Examples DEVELOPMENT SOFTWARE 50+ Worldwide Offices NI ECOSYSTEM Academic Add-Ons 8,000+ Universities Worldwide 400+ Software Add-Ons 5M+ Tools Network Downloads NI ECOSYSTEM Partners NI MODULAR HARDWARE Open Connectivity 1,000+ Alliance Partners THIRD PARTY SOFTWARE 10,000+ Instrument and Device Drivers Industry-Leading Technology Partners 1,000+ Sensor and Motor Drivers Flexible Software Protects Your Investments NI TestStand NI VeriStand NI DIAdem NI InsightCM Enterprise NI Multisim LabWindows/CVI Measurement Studio Third Party Software Our Customers’ Success Electronics and Industrial Machinery Aerospace and Defense Semiconductor Academic and Research Electronics and Industrial Machinery Aerospace and Defense Semiconductor Academic and Research Transportation and Automotive Wireless Heavy Equipment Energy Transportation and Automotive Wireless Heavy Equipment Energy AEROSPACE AND DEFENSE “Through the use of advanced software architecture and NI hardware, G Systems was able to provide Lockheed Martin Aeronautics with a highly-configurable, expandable system to meet current and future requirements of the F-35 VSIF.” — Michael Fortenberry, G Systems, Inc.
    [Show full text]
  • Automatic Calibrations Generation for Powertrain Controllers Using Maplesim
    2018-01-1458 Automatic Calibrations Generation for Powertrain Controllers Using MapleSim Abstract development costs. Furthermore, MapleSim’s symbolic capabilities, including symbolic simplification and symbolic optimization of gen- Modern powertrains are highly complex systems whose development erated code, enable complex models to be simulated at speeds that al- requires careful tuning of hundreds of parameters, called calibrations. low real-time simulation for Hardware-In-the-Loop testing. The tool These calibrations determine essential vehicle attributes such as per- has been used in different industries, including safety critical indus- formance, dynamics, fuel consumption, emissions, noise, vibrations, tries [3]. Furthermore, the tool has been applied in powertrain model- harshness, etc. This paper presents a methodology for automatic gen- ing and analysis [4, 5, 6]. For example, [4] uses MapleSim/Maple for eration of calibrations for a powertrain-abstraction software module modeling and rapid prototyping of a powertrain. within the powertrain software of hybrid electric vehicles. This mod- ule hides the underlying powertrain architecture from the remaining In model-based development, the calibration process makes up a sig- powertrain software. The module encodes the powertrain’s torque- nificant portion of overall development efforts [7]. The calibration speed equations as calibrations. The methodology commences with process deals with tuning system parameters—calibrations—to meet modeling the powertrain in MapleSim, a multi-domain modeling and multiple requirements. Within the powertrain controls, calibrations simulation tool. Then, the underlying mathematical representation of typically reflect parameters (e.g., filters’ parameters, delays, thresh- the modeled powertrain is generated from the MapleSim model using olds, etc.) that are used for fine-tuning performance, fuel-efficiency, Maple, MapleSim’s symbolic engine.
    [Show full text]
  • Optimus Rev. 2018.1 Introduces New Modeling Methods Boosted by Machine Learning
    Optimus Rev. 2018.1 introduces new modeling methods boosted by Machine Learning. PRESS RELEASE Leuven (Belgium), November 5 - 2018 – Noesis Solutions, the developer of Optimus and id8, announces the release of Optimus Rev. 2018.1. This release introduces new modeling methods boosted by MaChine Learning, enabling engineering teams to Create aCCurate models for low and high-dimensional optimization problems faster. Many of the new updates that come with Optimus Rev. 2018.1 further enhance Design Space Exploration and Optimization Capabilities while increasing Compatibility with leading CAD/CAE solutions. This new release confirms Optimus as the industry’s preferred platform for Design Space Exploration and Engineering Optimization. Powerful modeling boosted by MaChine Learning. This new Optimus release introduces new modeling methods boosted by Machine Learning, enabling engineering teams to create accurate models for low and high-dimensional optimization problems even with a limited number of training data sets. The new Light Weight Neural Networks (LWNN), Random Forest Regression (RFR) and Relevance Vector Regression (RVR) algorithms assist the user in accurately modeling large data sets quickly. The new Best Model algorithm even assists non-expert users by automatically selecting the best-performing model for any given data set among the models available in Optimus. Enhanced Design Space Exploration and Optimization Capabilities In addition, Optimus Rev. 2018.1 brings several improvements to Optimus’ unique Adaptive DOE algorithm that learns from available data points and iteratively adds extra data samples in design space regions that matter most. This new Optimus release further extends the capabilities of NAVIRUN, the Noesis Advanced adviser, which now also supports discrete optimization problems.
    [Show full text]