Händelser: Signaler och system, Elektroteknikhttp://www.chalmers.se/sv/om-chalmers/kalendariumAktuella händelser på Chalmers tekniska högskolaThu, 17 Jun 2021 10:41:00 +0200http://www.chalmers.se/sv/om-chalmers/kalendariumhttps://www.chalmers.se/sv/institutioner/e2/kalendarium/Sidor/Professorsforelasning-Torsten-Wik.aspxhttps://www.chalmers.se/sv/institutioner/e2/kalendarium/Sidor/Professorsforelasning-Torsten-Wik.aspxProfessorsföreläsning Torsten Wik<p>Online</p><p>Titel: Battery management – how difficult can that be?</p><div><br /></div> <a href="https://chalmers.zoom.us/j/68103666737">​​<span style="background-color:initial">Anslut till seminariet från PC, Mac, Linux, iOS eller Android via Zoom</span></a><span style="background-color:initial"><div>(Maila till elizabeth.peetso@chalmers.se i god tid innan seminariet för att få lösenordet)</div> <div><br /></div> <div><span></span><div>Seminariet kan nås via Zoom och öppnar strax före 13:00. Vi ber dig att stänga videon och mikrofon under seminariet. I slutet av sessionen kommer det att finnas möjlighet att ställa frågor via Zoom. Om det kommer att finnas några uppdateringar om evenemanget kommer dessa att publiceras på denna webbplats.</div> <div><br /></div> <div></div></div> <div><em>Torsten Wik är Enhetschef vid Reglerteknik/System- och reglerteknik/Elektroteknik</em></div></span><span style="background-color:initial"><em>Biträdande professor vid Reglerteknik/System- och reglerteknik/Elektroteknik </em></span><div><span style="background-color:initial"><br /></span></div> <div><span style="background-color:initial"></span><span style="background-color:initial"><strong>Sammanfattning </strong></span><div>Since rechargeable batteries were first invented some 160 years ago, they have increasingly affected our daily life through products ranging from miniature applications to vehicles, as well through large energy storages for power networks and industrial applications. </div> <div><span style="background-color:initial"><br /></span></div> <div><span style="background-color:initial">Very early, rechargeable batteries were used for electric vehicles of different kinds before combustion engines became dominating in the early nineteen-hundreds. After playing a secluded role as energy provider for the starter, headlights, and instrumentation, they are now once more in the focus of the vehicle industry.  Today, the electrification of the transportation systems seems largely inevitable, until now spurred by legislation and idealism aiming for reduced emissions. However, we are now close to the tipping point where pure economical reasoning will be the main driving force and then the transition is expected to be very quick. </span><br /></div> <div><br /></div> <div>An important distinction for this transition is that the costs then move from fuel and maintenance to cost of purchase. The batteries in an electric vehicle is the most expensive component of the vehicle, and it is also a component currently having a significant environmental footprint. Considering the total number of vehicles world-wide this means that it is outmost important that the batteries are used to their full potential without prematurely ageing them. This, is the task of the Battery Management System (BMS).</div> <div><br /></div> <div>So how difficult can it be to use a battery? After all, a battery is just an energy storage with two metal knobs to connect your application to. Indeed, the task seems deceivingly simple, but it can in fact be extremely difficult for exactly the same reason. The limiting factors for how we optimally should use the battery lie in cell internal electrochemical conditions that we cannot measure but have to estimate from measurements of current and voltage between the two knobs. This is the challenge that has already motivated extensive BMS research for decades.</div> <div><br /></div> <div>In this seminar we will have a closer look at the problems faced when deciding how to use a battery, and highlight some of our work in the area, since we started some 15 years ago. </div></div> https://www.chalmers.se/sv/institutioner/e2/kalendarium/Sidor/Masterpresentation-Olof-Olivecrona.aspxhttps://www.chalmers.se/sv/institutioner/e2/kalendarium/Sidor/Masterpresentation-Olof-Olivecrona.aspxOlof Olivecrona, MPSYS<p>Webseminarium</p><p>​ Efficient algorithms for temporal logic verification</p><div>​</div> <div>Nytt datum: 2021-08-18<br /></div> <div><br /></div> <div><a href="https://chalmers.zoom.us/j/61793306876">Anslut till seminariet via Zoom.</a></div> <div>Lösenord: 123456</div> <div><br /></div> <div>Examinator: Bengt Lennartson, Inst för elektroteknik</div> <div>Opponenter: Sarah Torstensson och Joakim Lönn</div> <div><br /></div> <h2 class="chalmersElement-H2">Sammanfattning</h2> <div><br /></div> <div>Many real-world systems can be modelled as discrete event systems (DESs), which have a number of events and discrete states. When an event occurs, the system transitions from one state to another. Two ways of representing such systems are transition systems and Petri nets. Finding the reachable states in transition systems is a very central problem within DESs, and solving more complex problems often requires finding them. This makes it very interesting to create an efficient reachability algorithm, which this thesis contributes to by re-implementing a Matlab algorithm in C++ and Python. Interesting differences between the implementations in terms of efficiency are observed. Another important problem within DESs is to verify that systems have certain desirable properties. These properties can be described using temporal logic, where logical formulas can specify not only what should be true in the present, but also what should become true in the future. These specifications can then be verified using nuXmv, which is a symbolic model checker. While transition systems are easy to describe in nuXMV code, Petri nets are not. This thesis presents a parser that translates a Petri net description into nuXmv code, which is shown to greatly reduce the code that the user needs to write. This effectively extends nuXmv such that it may be used for formal verification of Petri nets as well.<br /></div>https://www.chalmers.se/sv/institutioner/e2/kalendarium/Sidor/International-Conference-on-Phantom-Limb-Pain-SV.aspxhttps://www.chalmers.se/sv/institutioner/e2/kalendarium/Sidor/International-Conference-on-Phantom-Limb-Pain-SV.aspxInternational Conference on Phantom Limb Pain<p>R-huset, Mölndals sjukhus, Mölndal</p><p>​Den första internationella konferensen om fantomsmärta, Phantom Limb Pain, (ICPLP) sammanför framstående experter inom forskning och behandling av fantomsmärtor i ett forum för öppen diskussion om teorier och rön.</p>​<div>​Läs mer <br /></div> <div><a href="/sv/institutioner/e2/nyheter/Sidor/Forsta-forskarkonferensen-om-fantomsmartornas-gata.aspx"><img class="ms-asset-icon ms-rtePosition-4" src="/_layouts/images/ichtm.gif" alt="" />​<span style="background-color:initial">Första forskarkonferensen om fantomsmärtornas gåta <br /></span></a></div> <div><span style="background-color:initial"><br /></span></div> <div><span style="background-color:initial">Mer information och anmälan till konferensen</span></div> <div><a href="http://www.bnl.chalmers.se/wordpress/index.php/icplp-2020/" target="_blank"><img class="ms-asset-icon ms-rtePosition-4" src="/_layouts/images/icgen.gif" alt="" />ICPLP:s webbplats​</a></div> <div><br /></div> <div>Konferensen var ursprungligen planerad att hållas 2020 men har flyttats fram i tiden på grund av coronapandemin.</div> <div><br /></div>https://www.chalmers.se/sv/styrkeomraden/halsa-och-teknik/kalendarium/Sidor/Workshop-diagnostik-bildbehandling-och-AI.aspxhttps://www.chalmers.se/sv/styrkeomraden/halsa-och-teknik/kalendarium/Sidor/Workshop-diagnostik-bildbehandling-och-AI.aspxWorkshop: Diagnostik, bildbehandling och AI<p></p><p>​Välkommen till denna workshop!​​</p><span style="background-color:initial"><br /></span><span></span><div>Sahlgrenska Universitetssjukhuset, Sahlgrenska akademin och Chalmers, via CHAIR och styrkeområde Hälsa och teknik, arrangerar en workshop för att initiera forskningssamverkan inom diagnostik, bildbehandling och  AI. Syftet är att skapa nya konstellationer som kommer att driva på den viktiga och nödvändiga utvecklingen för att lösa hälso- och sjukvårdens utmaningar.<br /><br />Workshopen kommer att vara innehålla korta presentationer från PIs (cirka fem minuter vardera), en kafferast med posterutställning, samt tematiska diskussioner där forskningsbehov och gemensamma intressen ska identifieras. Förmiddagen avslutas med en gemensam lunch.</div> <div><br /></div> <div>Workshopen hålls på Sahlgrenska Universitetssjukhuset, Blå Stråket 5.<br /><br /></div> <div><div>Frågor? Kontakta <a href="mailto:magnus.kjellberg@vgregion.se">Magnus Kjellberg​</a> (magnus.kjellberg@vgregion.se)</div> <h2 class="chalmersElement-H2"><a href="https://forms.office.com/Pages/ResponsePage.aspx?id=VaJi_CBC5EebWkGO7jHaX9rTyo5oUE5MhBAD5UPV_d5UOVhLNzFJV0VaS1FZWFFMMEhFN0dXSzFBSS4u">Anmäl dig här!​</a></h2></div>