Journal of The Society of Instrument and Control Engineers
Online ISSN : 1883-8170
Print ISSN : 0453-4662
ISSN-L : 0453-4662
Review
Validated Interval Computation of Reachable Sets of Nonlinear Hybrid Systems
Daisuke ISHII, Kazunori UEDA
Author information
Keywords: cyber-physical systems, hybrid systems, validated numerical computation, interval analysis, constraint programming
JOURNAL FREE ACCESS

2014 Volume 53 Issue 12 Pages 1086-1092

Details
Download PDF (726K)
Download citation RIS

(compatible with EndNote, Reference Manager, ProCite, RefWorks)

BIB TEX

(compatible with BibDesk, LaTeX)

Text
How to download citation
Contact us
Article 1st page
Content from these authors
© 2014 The Society of Instrument and Control Engineers
Previous article Next article
Favorites & Alerts

Recently viewed articles
Predecessor

Journal of the Instrument Technology, Japan

Automatic Control

Share this page
feedback
 Top