Automated mode coverage analysis for cyber-physical systems using hybrid automata

Johan Eddeland, Javier Gil Cepeda, Rick Fransen, Sajed Miremadi, Martin Fabian, Knut Åkesson

Research output: Contribution to journalConference articleAcademicpeer-review

Fingerprint

Dive into the research topics of 'Automated mode coverage analysis for cyber-physical systems using hybrid automata'. Together they form a unique fingerprint.

Engineering & Materials Science