Automated Mode Coverage Analysis for Cyber-Physical Systems using Hybrid Automata
Artikel i vetenskaplig tidskrift, 2017
Continuous dynamics
Hybrid automata
Cyber-physical systems
Plant models
Test coverage
Författare
Johan Eddeland
Chalmers, Signaler och system, System- och reglerteknik, Automation
Javier Gil Cepeda
Volvo Cars
Rick Fransen
Technische Universiteit Eindhoven
Sajed Miremadi
Volvo Cars
Martin Fabian
Chalmers, Signaler och system, System- och reglerteknik, Automation
Knut Åkesson
Chalmers, Signaler och system, System- och reglerteknik, Automation
IFAC-PapersOnLine
24058963 (eISSN)
Vol. 50 1 9260-9265Ämneskategorier
Elektroteknik och elektronik
DOI
10.1016/j.ifacol.2017.08.1296