Login / Signup
Naoki Kanagawa
Publication Activity (10 Years)
Years Active: 1996-2015
Publications (10 Years): 0
Top Topics
Formal Analysis
Timed Petri Nets
Diagnosis Of Discrete Event Systems
Failure Diagnosis
Top Venues
Int. J. Control
ETFA
</>
Publications
</>
Naoki Kanagawa
,
Shigemasa Takai
Diagnosability of discrete event systems subject to permanent sensor failures.
Int. J. Control
88 (12) (2015)
Naoki Kanagawa
,
Shigemasa Takai
Verification and synthesis for failure diagnosis of discrete event systems subject to permanent sensor failures.
ETFA
(2014)
Takahiro Hanyu
,
Naoki Kanagawa
,
Michitaka Kameyama
Design of a one-transistor-cell multiple-valued CAM.
IEEE J. Solid State Circuits
31 (11) (1996)