Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Mirko Sessa"'
Autor:
Giuseppe Scaglione, Alessandro Cimatti, Mirko Sessa, Roberto Cavada, Giuseppe Cadavero, Sergio Mover
Publikováno v:
FMCAD
Università degli di Trento-IRIS
Università degli di Trento-IRIS
Relay Interlocking Systems (RIS) are analog electromechanical networks traditionally applied in the safety-critical domain of railway signaling. RIS consist of networks of interconnected components such as power supplies, contacts, resistances, and e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::520d5099e130246ed1bde839437df04a
https://doi.org/10.23919/fmcad.2018.8603007
https://doi.org/10.23919/fmcad.2018.8603007
Publikováno v:
FM 2016: Formal Methods ISBN: 9783319489889
FM
FM
In this paper, we propose a novel symbolic approach to automatically synthesize a Hybrid Automaton (HA) from a switched electrical network. The input network consists of a set of physical components interconnected according to some reconfigurable net
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f09c78d1e4265719b435a1238a8dd61e
https://doi.org/10.1007/978-3-319-48989-6_11
https://doi.org/10.1007/978-3-319-48989-6_11
