Author: Ito Naoharu
Publisher: Springer Publishing Company
ISSN: 1433-5298
Source: Artificial Life and Robotics, Vol.17, Iss.1, 2012-10, pp. : 140-144
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Bounded model checking of infinite state systems
By Schuele Tobias Schneider Klaus
Formal Methods in System Design, Vol. 30, Iss. 1, 2007-02 ,pp. :
Disturbance Attenuation of LPV Systems with Bounded Inputs
By Jabbari F.
Dynamics and Control, Vol. 11, Iss. 2, 2001-04 ,pp. :