Using Modal Logics for the Formal Analysis and Synthesis of Hybrid Control Systems

Jennifer M. Davoren

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review

Original language	English
Title of host publication	AWCL-2000
Editors	Lloyd, J
Place of Publication	Canberra
Publisher	Australian National University
Pages	121-134
Edition	Peer Reviewed
Publication status	Published - 2000
Event	Australasian Workshop on Computational Logic (AWCL 2000) - Canberra Australia, Australia Duration: 1 Jan 2000 → …

Conference	Australasian Workshop on Computational Logic (AWCL 2000)
Country/Territory	Australia
Period	1/01/00 → …
Other	March 2 2000

Cite this

@inproceedings{230aa23b866249d1aa6307ba171e043e,

title = "Using Modal Logics for the Formal Analysis and Synthesis of Hybrid Control Systems",

author = "Davoren, \{Jennifer M.\}",

year = "2000",

language = "English",

pages = "121--134",

editor = "\{Lloyd, J\}",

booktitle = "AWCL-2000",

publisher = "Australian National University ",

address = "Australia",

edition = "Peer Reviewed",

note = "Australasian Workshop on Computational Logic (AWCL 2000) ; Conference date: 01-01-2000",

}