414 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- The University of TokyoJP12 papers
- Kyoto UniversityJP9 papers
- National Astronomical Observatory of JapanJP5 papers
- Tohoku UniversityJP3 papers
- National Institute of InformaticsJP2 papers
- Princeton UniversityUS2 papers
- Space Telescope Science InstituteUS2 papers
- Subaru (Japan)JP2 papers
- University of LeicesterGB2 papers
- University of Maryland, College ParkUS2 papers
- California Institute of TechnologyUS1 paper
- Centre for Research in Engineering Surface TechnologyIE1 paper
Showing 2017 · eess.SYShow all
2 papers · 2 filters
eess.SY2017★ 3 cited
Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems (Extended Version)
Kengo Kido, Sean Sedwards, Ichiro Hasuo
Time delays pose an important challenge in networked control systems, which are now ubiquitous. Focusing on switched systems, we introduce a framework that provides an upper bound…
eess.SY2017★ 7 cited
Causality-Aided Falsification
Takumi Akazaki, Yoshihiro Kumazawa, Ichiro Hasuo
Falsification is drawing attention in quality assurance of heterogeneous systems whose complexities are beyond most verification techniques' scalability. In this paper we introduce…