Johan Lidén Eddeland

Doktorand vid Chalmers, Elektroteknik, System- och reglerteknik, Automation

Johan Eddeland är industridoktorand i forskargruppen Automation. Tillsammans med handledare Knut Åkesson kommer han att jobba med modell-baserad testning av hybrida system.

Källa: chalmers.se

Visar 4 publikationer

2018

Applying valued booleans in testing of cyber-physical systems

Koen Claessen, Nicholas Smallbone, Johan Lidén Eddeland et al
Proceedings - 2018 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018, p. 8-9
Paper i proceeding
2018

Using Valued Booleans to Find Simpler Counterexamples in Random Testing of Cyber-Physical Systems

Koen Lindström Claessen, Nicholas Smallbone, Johan Lidén Eddeland et al
IFAC-PapersOnLine. Vol. 51 (7), p. 408-415
Paper i proceeding
2017

Automated Mode Coverage Analysis for Cyber-Physical Systems using Hybrid Automata

Johan Eddeland, Javier Gil Cepeda, Rick Fransen et al
IFAC-PapersOnLine. Vol. 50 (1), p. 9260-9265
Artikel i vetenskaplig tidskrift
2017

Objective functions for falsification of signal temporal logic properties in cyber-physical systems

Johan Eddeland, Sajed Miremadi, Martin Fabian et al
2017 13th IEEE Conference on Automation Science and Engineering (CASE), p. 1326-1331
Paper i proceeding

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Det finns inga projekt att visa.
Det kan finnas fler projekt där Johan Lidén Eddeland medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.