Alan K. Mackworth's Publications

• Sorted by Date • Classified by Publication Type • Sorted by First Author Last Name • Classified by Author Last Name •

Modelling and Analysis of Hybrid Control Systems: An Elevator Case Study

Ying Zhang and Alan K. Mackworth. Modelling and Analysis of Hybrid Control Systems: An Elevator Case Study. In H. Levesque and F. Pirri, editors, Logical Foundations for Cognitive Agents, pp. 370–396, Springer-Verlag, Berlin, 1999.

Download

[PDF]297.4kB  

Abstract

@InCollection{LFCA99,
  author =	 {Ying Zhang and Alan K. Mackworth},
  title =	 {Modelling and Analysis of Hybrid Control Systems: An Elevator Case Study},
  booktitle =    {Logical Foundations for Cognitive Agents},
  Editor =       {H. Levesque and F. Pirri},
  publisher =    {Springer-Verlag},
  year =	 {1999}, 
  address =      {Berlin},
  pages =         {370--396},
  abstract =	 {},
  bib2html_pubtype ={Book Chapter},
  bib2html_rescat ={},
}

Generated by bib2html.pl (written by Patrick Riley ) on Wed Apr 23, 2014 19:08:35