Volume 32, Issue 1

Search all Formal Methods in System Design articles

February 2008

Selected papers from the Seventh International Conference on Hybrid Systems: Computation and Control (HSCC 2004); Guest Editors: Rajeev Alur and George J. Pappas

4 articles in this issue

Introduction
Rajeev Alur
George J. Pappas
Guest Editorial 14 December 2007 Pages: 1 - 1
Optimal infinite scheduling for multi-priced timed automata
Patricia Bouyer
Ed Brinksma
Kim G. Larsen
OriginalPaper 05 December 2007 Pages: 3 - 23
Constructing invariants for hybrid systems
Sriram Sankaranarayanan
Henny B. Sipma
Zohar Manna
OriginalPaper 05 December 2007 Pages: 25 - 55
Abstractions for hybrid systems
Ashish Tiwari
OriginalPaper 05 December 2007 Pages: 57 - 83

Volume 32, Issue 1

Introduction

Optimal infinite scheduling for multi-priced timed automata

Constructing invariants for hybrid systems

Abstractions for hybrid systems

Search

Navigation