Period of time： 2015年1期
Publisher： Taylor & Francis Ltd
Founded in： 1995
Total resources： 68
ISSN： 1387-3954
Subject： O1 Mathematics
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Mathematical and Computer Modelling of Dynamical Systems,volume 6,issue 1
Menu
Access to resources
Recommend
Computing Approximating Automata for a Class of Hybrid Systems
By Chutinan A., Krogh B.H. in (2000)
Mathematical and Computer Modelling of Dynamical Systems,volume 6,issue 1 , Vol. 6, Iss. 1, 2000-03 , pp.On the Generation of Timed Discrete Approximations for Continuous Systems
By Stursberg O., Kowalewski S., Engell S. in (2000)
Mathematical and Computer Modelling of Dynamical Systems,volume 6,issue 1 , Vol. 6, Iss. 1, 2000-03 , pp.Modelling and Verification using Linear Hybrid Automata -- a Case Study
By Müller O., Stauner T. in (2000)
Mathematical and Computer Modelling of Dynamical Systems,volume 6,issue 1 , Vol. 6, Iss. 1, 2000-03 , pp.