Skip to main content

Publisher: Taylor and Francis Ltd

Volume 6, Number 1, March 2000

Favourites:
ADD

Computing Approximating Automata for a Class of Hybrid Systems
pp. 30-50(21)
Authors: Chutinan, Alongkrit; Krogh, Bruce H.

Favourites:
ADD

On the Generation of Timed Discrete Approximations for Continuous Systems
pp. 51-70(20)
Authors: Stursberg, O.; Kowalewski, S.; Engell, S.

Favourites:
ADD

Modelling and Verification using Linear Hybrid Automata -- a Case Study
pp. 71-89(19)
Authors: Müller, Olaf; Stauner, Thomas

Favourites:
ADD

  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
X
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more