Embedded systems og modeller


Kom til en spændende eftermiddag og hør, hvordan den nyeste forskning bringes i spil i din virksomhed.

Udviklingen inden for embedded systems går rigtig stærkt. Kom og hør tre cases, hvor danske virksomheder i samarbejde med danske universiteter har bragt den nyeste forskning ud i virksomhederne:

  • GN ReSound har i ITOS-projektet samarbejdet med DTU om at anvende forskellige typer af modeller i deres udviklingsprocesser på en sådan måde, at modellerne understøtter udviklingen af komplekse produkter.
  • MAN Diesel & Turbo har i ITOS-projektet samarbejdet med DTU om at lave co-simulering af alle dele af en skibsmotor og dens tilhørende embedded system.
  • Seluxit arbejder med IoT og har i denne case sammen med AAU arbejdet specifikt med komfort-optimering i forhold til gulvvarme.

Der er bindende tilmelding inden onsdag d. 11 klokken 9:00.

Alle præsentationer vil være på engelsk, da foredragene er en del af en international PhD School. Der er desuden mulighed for at komme fra klokken 9:00 og høre foredrag fra de to internationale topforskere. Abstracts af de to foredrag kan ses nedenfor.


 

ITOS er et 4-årigt projekt, som skal skabe viden og styrke kompetencer og metoder til udvikling af indlejrede teknologier. Læs mere om ITOS her.

 

RADU GROSU, Professor, Cyber-Physical Systems Group, Vienna University of Technology

Title: Hybrid Systems: An Introduction

Aim: The technological developments of the past two decades have nurtured a fascinating convergence of computer science and electrical, mechanical and biological engineering. Nowadays, computer scientists work hand in hand with engineers to model, analyze and control complex systems, that exhibit discrete as well as continuous behavior. Examples of such systems include automated highway systems, air traffic management, automotive controllers, robotics and real-time circuits. They also include biological systems, such as immune response, bio-molecular networks, gene- regulatory networks, protein-signaling pathways and metabolic processes. The more pervasive and more complex these systems become, the more is the infrastructure of our modern society relying on their dependability. Traditionally however, the modeling, analysis and control theory of discrete systems is quite different from the one of continuous systems. The first is based on automata theory, a branch of discrete mathematics, where time is typically abstracted away. The second is based on linear systems theory, of differential (or difference) equations, a branch of continuous mathematics where time is of essence. This course is focused on the principles underlying their combination. By the end of this course the students will be provided with detailed knowledge and substantial experience in the mathematical modeling, analysis and control of hybrid systems.

Subject: Hybrid automata as discrete-continuous models of hybrid systems. Executions and traces of hybrid automata. Infinite transition systems as a time-abstract semantics of hybrid automata. Finite abstractions of infinite transition systems. Language inclusion and language equivalence. Simulation and bisimulation. Quotient structures. Approximate notions of inclusion and simulation. State logics, and model checking. Partition-refinement and model checking within mu-calculus. Classes of hybrid automata for which the model-checking problem is decidable. Modern overapproximation techniques for reachability analysis.

 

AXEL LEGAY, Permanent researcher, head of the ESTASYS group, INRIA, France

Title: A quick tour on Statistical Model Checking

Abstract: The two lectures are focused on Statistical Model Checking, that is a simulation-based approach for stochastic validation of potentially complex properties.
In this lecture, we introduce the basic concepts behind statistical model checking. We then introduce PLASMA-lab, a library that provides the functionality to create custom statistical model checkers based on arbitrary modeling languages. The tool is illustrated on a concrete end-user application, that is a small embedded robot which can be used to guide an old lady in a commercial center.



Tid og sted

Dato:  12. november 2015
Tid:  9:00 - 17:00
Sted:  A. C. Meyers Vænge 15
2450 København SV
Rum ACM15 0.091
Pris:  200 kr.

Se alle Infinit arrangementer


InfinIT er finansieret af en bevilling fra Styrelsen for Forskning og Uddannelse og drives af et konsortium bestående af:
Alexandra Instituttet . BrainsBusiness . CISS . Datalogisk Institut, Københavns Universitet . DELTA . DTU Compute, Danmarks Tekniske Universitet . Institut for Datalogi, Aarhus Universitet . IT-Universitetet . Knowledge Lab, Syddansk Universitet . Væksthus Hovedstadsregionen . Aalborg Universitet