Volume 138,
Number 1,
6 February 1995
Special Issue on Hybrid Systems
- Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine:
The Algorithmic Analysis of Hybrid Systems.
3-34
Electronic Edition (link) BibTeX
- Eugene Asarin, Oded Maler, Amir Pnueli:
Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives.
35-65
Electronic Edition (link) BibTeX
- Michael S. Branicky:
Universal Computation and Other Capabilities of Hybrid and Continuous Dynamical Systems.
67-100
Electronic Edition (link) BibTeX
- Robert L. Grossman, Richard G. Larson:
An Algebraic Approach to Hybrid Systems.
101-112
Electronic Edition (link) BibTeX
- Michael R. Hansen, Paritosh K. Pandya, Zhou Chaochen:
Finite Divergence.
113-139
Electronic Edition (link) BibTeX
- Wolf Kohn, Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis:
Viability in Hybrid Systems.
141-168
Electronic Edition (link) BibTeX
- Yassine Lakhnech, Jozef Hooman:
Metric Temporal Logic with Durations.
169-199
Electronic Edition (link) BibTeX
- Michael D. Lemmon, Panos J. Antsaklis:
Inductively Inferring Valid Logical Models of Continuous-State Dynamical Systems.
201-210
Electronic Edition (link) BibTeX
- Ying Zhang, Alan K. Mackworth:
Constraint Nets: A Semantic Model for Hybrid Dynamic Systems.
211-239
Electronic Edition (link) BibTeX
Volume 138,
Number 2,
20 February 1995
Selected Papers of the Meeting on the Mathematical Foundations of Programming Semantics (MFPS'92),
Oxford,
April 1992
Part III:
Concurrency Theory
Copyright © Sun May 17 00:24:14 2009
by Michael Ley (ley@uni-trier.de)
