Ying Zhang, Alan K Mackworth  Home/Search
Context
Related
| cs.ubc.ca/spider/mack/lin...elevator.ps 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: cs.ubc.ca/spider/mack/...elevator (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose a formal approach to the modeling and analysis of hybrid control systems. The approach consists of the interleaved phases of hybrid dynamic system modeling, requirements specification, hybrid control design and overall behavior verification. We have developed Constraint Nets as a semantic model for hybrid dynamic systems. (Update)
Similar documents (at the sentence level):
10.0%: Specification and Verification of Hybrid Dynamic Systems.. - Zhang, Mackworth (Correct)
5.9%: A Foundation for the Design and Analysis of Robotic Systems and.. - Ying (1994) (Correct)
Active bibliography (related documents): More All
0.7: Constraint-Based Agents: - Formal Model For (Correct)
0.6: Design and Analysis of Embedded Real-Time Systems: An.. - Zhang, Mackworth (1993) (Correct)
0.3: Logics for Hybrid Systems - Davoren, Nerode (2000) (Correct)
Similar documents based on text: More All
0.2: Parallel and Distributed Algorithms for Constraint Networks - Zhang, Mackworth (1991) (Correct)
0.2: Will The Robot Do The Right Thing? - Zhang, Mackworth (1992) (Correct)
0.2: Parallel and Distributed Finite Constraint Satisfaction.. - Zhang, Mackworth (1992) (Correct)
BibTeX entry: (Update)
@misc{ zhang-modeling,
author = "Ying Zhang and Alan K Mackworth",
title = "Modeling and Analysis of Hybrid Control Systems",
url = "citeseer.ist.psu.edu/674743.html" }
Citations (may not include all citations):374 Automata on infinite objects (context) - Thomas - 1990
268 The theory of timed automata - Alur, Dill - 1991
232 Hybrid automata: An algorithmic approach to the specificatio.. - Alur, Courcoubetis et al. - 1993
184 Automata for modeling real-time systems (context) - Alur, Dill - 1990
177 Temporal logic can be more expressive (context) - Wolper - 1983
172 A really temporal logic - Alur, Henzinger - 1989
139 From timed to hybrid systems - Maler, Manna et al. - 1991
121 Concurrent constraint programming languages (context) - Saraswat - 1989
116 From ATP to timed graphs and hybrid systems - Nicollin, Sifakis - 1991
113 Requirements specification for process-control systems - Leveson, Heimdahl et al. - 1994
112 System Development (context) - Jackson - 1983
102 Modeling and verification of time dependent systems using Ti.. (context) - Berthomieu, Diaz - 1991
94 Hybrid models for motion control systems (context) - Brockett - 1993
83 Communication of ACM (context) - Sutherland - 1989
72 Hybrid dynamical systems theory and the SIGNAL language (context) - Benveniste, LeGuernic - 1990
62 Models for hybrid systems: Automata (context) - Nerode, Kohn - 1993
61 Introduction to Dynamic Systems: Theory (context) - Luenberger - 1979
60 Software requirements analysis for real-time process-control.. (context) - Jaffe, Leveson et al. - 1991
52 Specification and verification of concurrent programs by 8-a.. (context) - Manna, Pnueli - 1987
26 Simulation techniques for proving properties of real-time sy.. - Lynch - 1993
25 Constraint Nets: A semantic model for hybrid dynamic systems - Zhang, Mackworth - 1995
21 Programming in hybrid constraint languages - Gupta, Jagadeesan et al. - 1995
17 Comparing architectural design styles (context) - Shaw - 1995
17 Simulink User's Guide (context) - Inc
14 Hybrid systems in TLA (context) - Lamport - 1993
11 Constraint programming in constraint nets - Zhang, Mackworth - 1995
10 Number 736 in Lecture Notes on Computer Science (context) - Grossman, Nerode et al. - 1993
10 Using temporal logic for prototyping: The design of a lift c.. (context) - Hale - 1990
10 Specification and verification of constraint-based dynamic s.. - Zhang, Mackworth - 1994
10 Synthesis of hybrid constraint-based controllers (context) - Zhang, Mackworth - 1995
9 A foundation for the design and analysis of robotic systems .. - Zhang - 1994
8 SystemBuild User's Guide (context) - Inc
7 Up and down the temporal way (context) - Barringer - 1985
6 The logical control of an elevator (context) - Dyck, Caines - 1995
5 Formal design of hybrid systems (context) - Yu, Wang et al. - 1994
4 Specification and verification of hybrid dynamic systems usi.. - Zhang, Mackworth - 1995
4 An entity-life modeling approach to the design of concurrent.. (context) - Sanden - 1989
1 Conditionevent signal interface block diagram modeling and a.. (context) - event, for et al. - 1993
1 Modeling and verification of automated transit systems (context) - Lynch - 1995
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