Reachability analysis of dynamical systems having piecewise-constant derivatives
- 作者Eugene Asarin; Oded Maler; Amir Pnueli
- 卷第138卷
- 期第1期
- 印刷ISSN0304-3975
- 文件大小1954.06KB
- 发表时间1995
- DOI10.1016/0304-3975(94)00228-b
- 页码35-65
同作者推荐
Context-sensitive transitive closure operatorsIain A. Stewart · 1994
Book reviewsW. P. R. Mitchell; Alan Hamilton; A. J. McIsaac; Iain Stewart · 1995
EditorialIain A. Stewart; Daniel Paulusma; Matthew Johnson · 2012
Book ReviewsStitt, Jocelyn Fenton; Moskal, Jeanne; Bremer, Anette; Valko, Jennifer M.; Ledford-Miller, Linda; Dunkerley, James; Donnell, Alison; Stewart, Iain A. D. · Studies in Travel Writing · 2003
Monotonicity and the Expressibility of NP OperatorsIain A. Stewart · 1994
Logical and schematic characterization of complexity classesIain A. Stewart · 1993
Constraint Satisfaction, Logic and Forbidden PatternsMadelaine, Florent; Stewart, Iain A. · SIAM Journal on Computing · 2007