Operational semantics of hybrid systems

Operational semantics of hybrid systems (2007)

Cached

Download Links

[www.eecs.berkeley.edu]
[ptolemy.eecs.berkeley.edu]

Other Repositories/Bibliography

DBLP

by Haiyang Zheng

Citations:

26 - 14 self

BibTeX

@MISC{Zheng07operationalsemantics,
    author = {Haiyang Zheng},
    title = {Operational semantics of hybrid systems},
    year = {2007}
}

Bookmark

OpenURL

Abstract

Citations

909	Introduction to Lattices and Order - Davey, Priestley - 1990
749	The program dependence graph and its use in optimization - F, Ottenstein, et al. - 1987
628	Interprocedural Slicing Using Dependence Graphs - Iorwitz, Reps, et al. - 1990
619	The Esterel synchronous programming language: Design, semantics, implementation - Berry, Gonthier - 1992
452	Ptolemy: A framework for simulating and prototyping heterogeneous systems - Buck, Ha, et al. - 1994
419	The synchronous data-flow programming language Lustre - Halbwachs, Caspi, et al. - 1991
416	Uppaal in a nutshell - Larsen, Pettersson, et al. - 1997
377	The theory of hybrid automata - Henzinger - 1996
343	The synchronous approach to reactive and realtime systems - Benveniste, Berry - 1991
321	Theory of Modeling and Simulation - Zeigler, Kim, et al. - 2000
305	HYTECH: A model checker for hybrid systems - Henzinger, Ho, et al. - 1997
262	The program dependence graph in a software development environment - Ottenstein, Ottenstein - 1984
250	Real Analysis - Royden - 1988
234	What’s decidable about hybrid automata - Henzinger, Kopke, et al. - 1995
220	The tool kronos - Daws, Olivero, et al. - 1996
208	A framework for comparing models of computation - Lee, Sangiovanni-Vincentelli - 1998
204	Synchronization and Linearity. An Algebra for Discrete Event Systems - Baccelli, Cohen, et al. - 1992
180	Giotto: A time-triggered language for embedded programming - Henzinger, Horowitz, et al. - 2003
148	Overview of the Ptolemy Project - Lee - 2001
145	Discrete Event Systems: Modeling and Performance Analysis - Cassandras - 1993
137	From timed to hybrid systems - Maler, Manna, et al. - 1992
120	G.: Model-integrated computing - Sztipanovits, Karsai - 1997
119	Interaction categories and the foundations of typed concurrent programming - Abramsky, Gay, et al. - 1996
119	H.: Hybrid I/O automata - Lynch, Segala, et al. - 1996
99	Hierarchical finite state machines with multiple concurrency models - Girault, Lee, et al. - 1999
98	Controllers for reachability specifications for hybrid systems - Lygeros, Tomlin, et al. - 1999
96	Approximate reachability analysis of piecewise-linear dynamical systems - Asarin, Bournez, et al. - 2000
94	An Introduction to Hybrid Dynamical Systems - Schaft, Schumacher - 2000
92	Principle of Object-Oriented Modeling and Simulation with Modelica 2.1. WILEY-INTERSCIENCE - Fritzson - 2003
73	Introduction to Physical Modeling with Modelica - Tiller - 2001
72	Evolving algebras: An attempt to discover semantics - Gurevich - 1993
70	The synchronous languages twelve years later - Benveniste, Caspi, et al.
67	Level set methods for computation in hybrid systems - Mitchell, Tomlin - 2000
62	Abstract Behavior Types: A Foundation Model for Components and Their Composition - Arbab - 2002
62	Modeling concurrent real-time processes using discrete events - Lee - 1999
52	Actor-oriented design of embedded hardware and software systems - Lee, Neuendorffer, et al.
47	Hierarchical modeling and analysis of embedded systems - Alur, Dang, et al. - 2003
45	On the regularization of zeno hybrid automata - Johansson, Egerstedt, et al. - 1999
44	Interaction semantics for components of distributed systems - Talcott - 1996
38	Modeling heterogeneous real-time components in BIP - Basu, Bozga, et al. - 2006
38	Definable operations in general algebras and the theory of automata and flowcharts - Bekič - 1969
38	An overview of hybrid simulation phenomena and their support by simulation packages - Mosterman - 1999
36	Heterogeneous Concurrent Modeling and Design in Java (Volume 1: Introduction to Ptolemy II - Brooks, Lee, et al.
34	Modeling Embedded Systems and SoCs - Concurrency and Time in Models of Computation - Jantsch - 2003
33	Discrete-Event Simulation: Modeling, Programming, and Analysis - Fishman - 2001
29	The semantics and execution of a synchronous block-diagram language - Edwards, Lee - 2003
27	Relaxation-Based Electrical Simulation - Newton, Sangiovanni-Vincentelli - 1983
27	Practical Foundations of Mathematics - Taylor - 1999
26	Composition for Component-based Modeling - Goessler, Sifakis - 2005
24	Zeno hybrid systems - Zhang, Johansson, et al.