Department of Electrical Engineering University of Pennsylvania Philadelphia, ...  Home/Search
Context
Related
| upenn.edu/~tanner/...AC_abstraction.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: upenn.edu/~tanner/Confpub (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Simulation relations of labeled transition systems are used in theoretical computer science in order to formally establish notions of modeling abstraction and refinement in hierarchical systems. In this paper, we establish and characterize simulation relations for arbitrary discrete-time, linear control systems. More precisely, given two discrete-time systems, we consider various embeddings into labeled transition systems, that differ in the amount of timing information that is maintained... (Update)
Similar documents based on text: More All
0.5: Simulation Relations For Discrete-Time Linear - Systems Herbert Tanner (Correct)
0.4: Formation Input-To-State Stability - Herbert Tanner And (2002) (Correct)
0.3: Semantic and Syntactic Approaches to Simulation Relations - Hannay, Katsumata, Sannella (2003) (Correct)
BibTeX entry: (Update)
@misc{ electrical-simulation,
author = "Department Of Electrical",
title = "SIMULATION RELATIONS FOR DISCRETE-TIME LINEAR Herbert Tanner and George
J. Pappas",
url = "citeseer.ist.psu.edu/505123.html" }
Citations not processed or no citations identified.
Documents on the same site (http://www.cis.upenn.edu/~tanner/Confpub.html): More
Position and Force Control by Reaction Compensation - Tanner And Kyriakopoulos (Correct)
Coordinating The Motion Of A Manipulator And A.. - Tanner, Loizou.. (2000) (Correct)
Nonholonomic Stabilization with Collision Avoidance for Mobile.. - Savvas (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