Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items
Abstract

We introduce the notion of a parametrized family (Hp)p Î Pof hybrid systems, and consider questions of reachability in the systems Hp as the parameter p ranges over P. Under the assumption of a uniform (as p ranges over P) finite bound on the number of discrete transitions associated to the individual systems Hp, the notion of reachability is first-order (in the sense of mathematical logic) and uniform in the parameter p. Techniques from logic can then be used to analyze computational questions associated to the family of systems.

Fulltext Preview (Small, Large)
Image of the first page of the fulltext


Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.106 • Server: mpweb02
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)