Chand John  Home/Search
Context
Related
| utexas.edu/ftp/pub/techre...tr0322.pdf 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: utexas.edu/users/UTCS/te...Honors (more) Homepages: C.John |
Rate this article:      (best)Comment on this article |
Abstract: There is a growing recognition of the presence of dynamical systems in many fields. In areas ranging from economics to physics and computer science to biology, many open fundamental problems are known to relate to the central problems in dynamical systems theory. Physicists generally work more with continuous dynamical systems, rather than discrete dynamical systems which computer scientists may study. The difference is that a continuous dynamical system is almost always defined as a system... (Update)
Active bibliography (related documents): More All
0.5: Advances in Finite Automata and Temporal Logic for System.. - Torre (1999) (Correct)
0.5: Micro Mobile Programs - Carl Gunter University (Correct)
0.3: Timed Automata - Alur (1999) (Correct)
Similar documents based on text: More All
0.2: Universal Computation and Other Capabilities of Hybrid and.. - Branicky (1995) (Correct)
0.1: Interactive Exploration of Dynamical Systems - Gröller (Correct)
0.1: Analyzing the PBIL Algorithm by Means of Discrete.. - Gonzalez, Lozano.. (Correct)
BibTeX entry: (Update)
@misc{ john-thoughts,
author = "Chand John",
title = "Thoughts on Hybrid Systems",
url = "citeseer.ist.psu.edu/john03thoughts.html" }
Citations (may not include all citations):399 The Algorithmic Analysis of Hybrid Systems - Alur, Courcoubetis et al. - 1995
375 Fractals Everywhere (context) - Barnsley - 1988
119 Alternating-Time Temporal Logic - Alur, Henzinger et al. - 1997
108 Introduction to the Theory of Computation (context) - Sipser - 1997
68 Discrete Abstractions of Hybrid Systems - Alur, Henzinger et al. - 2000
29 Modular Specifications of Hybrid Systems in CHARON - Alur, Grosu et al. - 2000
22 Reachability Analysis of Hybrid Systems via Predicate Abstra.. - Alur, Dang et al. - 2002
22 Communicating Hierarchical State Machines - Alur, Kannan et al. - 1999
17 Optimal Paths in Weighted Timed Automata - Alur, Torre et al. - 2034
11 Compositional Refinement of Hierarchical Hybrid Systems - Alur, Grosu et al. - 2034
11 Hierarchical Modeling and Analysis of Embedded Systems - Alur, Dang et al. - 2001
8 Hybrid Modeling and Simulation of Biological Systems (context) - Alur, Belta et al. - 2034
8 Formal Modeling and Analysis of Hybrid Systems: A Case Study.. - Alur, Esposito et al. - 1999
5 Polyhedral Flows in Hybrid Automata - Alur, Kannan et al. - 1999
3 Membership Problems for Timed and Hybrid Automata (context) - Alur, Kurshan et al. - 1998
2 Predictable Programs in Barcodes - Goodloe, McDougall et al. - 2002
1 All Bezier Curves Are Attractors of Iterated Function System.. (context) - John
1 Visual Programming for Modeling and Simulation of Biomolecul.. (context) - Alur, Belta et al. - 2002
Documents on the same site (http://www.cs.utexas.edu/users/UTCS/techreports/index/html/Honors.html): More
Scalable Isosurface Visualization of Massive Datasets.. - Zhang, Bajaj, Blanke, .. (2001) (Correct)
An Efficient Disk Resource Management Mechanism for Scalable.. - Ahmed, Dahlin (Correct)
A Commuting Diagram Relating Threaded and Non-threaded JVM Models - Porter (2001) (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