Rajeev Alur, Thao Dang, Joel Esposito, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George Pappas, Oleg Sokolsky  Home/Search
Context Related
| upenn.edu/~pappasg/paper...IEEE02.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: upenn.edu/~pappasg...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes the modeling language CHARON for modular design of interacting hybrid systems. The language allows specification of architectural as well as behavioral hierarchy, and discrete as well as continuous activities. The modular structure of the language is not merely syntactic, but is exploited by analysis tools, and is supported by a formal semantics with an accompanying compositional theory of refinement. We illustrate the benefits of CHARON in design of embedded control... (Update)
Similar documents based on text: More All
2.6: Hierarchical Modeling and Analysis of Embedded Systems - Alur, Dang, Esposito.. (2003) (Correct)
2.3: Hierarchical Hybrid Modeling of Embedded Systems - Alur, Dang, Esposito.. (2001) (Correct)
0.9: Report on Verification of the MoBIES Vehicle-Vehicle Automotive.. - Ivancic (2002) (Correct)
BibTeX entry: (Update)
R. Alur, T. Dang, J. Esposito, Y. Hur, F. Ivancic, V. Kumar, I. Lee, P. Mishra, G. Pappas, and O. Sokolsky. Hierarchical modeling and analysis of embedded systems. Proceedings of the IEEE, October 2002. http://citeseer.ist.psu.edu/article/alur03hierarchical.html More
@misc{ alur02hierarchical,
author = "R. Alur and T. Dang and J. Esposito and Y. Hur and F. Ivan and c Kumar
and I. Lee and P. Mishra and G. Pappas and O. Sokolsky",
title = "Hierarchical modeling and analysis of embedded systems",
text = "R. Alur, T. Dang, J. Esposito, Y. Hur, F. Ivancic, V. Kumar, I. Lee,
P. Mishra, G. Pappas, and O. Sokolsky. Hierarchical modeling and analysis
of embedded systems. Proceedings of the IEEE, October 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/article/alur03hierarchical.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
1286 Object-Oriented Modeling and Design (context) - Rumbaugh, Blaha et al. - 1991
1174 Statecharts: A visual formalism for complex systems - Harel - 1987
815 Abstract interpretation: a unified lattice model for static .. (context) - Cousot, Cousot - 1977
681 Unified Modeling Language User Guide (context) - Booch, Jacobson et al. - 1997
666 Theoretical Computer Science (context) - Alur, Dill et al. - 1994
484 A Calculus of Communicating Systems (context) - Milner - 1980
469 Object-Oriented Design with Application (context) - Booch - 1991
399 The algorithmic analysis of hybrid systems - Alur, Courcoubetis et al. - 1995
375 IEEE Transactions on Software Engineering (context) - Holzmann, checker - 1997
315 Symbolic model checking: an approach to the state explosion .. (context) - McMillan - 1993
270 Bandera: Extracting finite-state models from Java source cod.. - Corbett, Dwyer et al. - 2000
200 Construction of abstract state graphs with PVS - Graf, Saidi - 1997
160 The theory of hybrid automata - Henzinger - 1996
155 The tool KRO- NOS - Daws, Olivero et al. - 1996
[Article contains additional citations not shown here]
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.seas.upenn.edu/~pappasg/publications.html): More
Accurate Event Detection for Simulating Hybrid Systems - Esposito, Kumar, Pappas (2001) (Correct)
Composing Abstractions of Hybrid Systems - Tabuada, Pappas, Lima (2002) (Correct)
Consistent Abstractions of Affine Control Systems - Pappas, Simic (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC