Johan Lidén Eddeland

Doctoral Student at Chalmers, Electrical Engineering, Systems and control, Automation

Johan Eddeland is an industrial PhD student in the Automation group. Together with his supervisor Knut Åkesson, he will work on model-based testing of hybrid systems.


Showing 5 publications


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 in proceedings

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 in proceedings

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
Journal article

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 in proceedings

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:

There are no projects.
There might be more projects where Johan Lidén Eddeland participates, but you have to be logged in as a Chalmers employee to see them.