See this document in CiteSeerX!

A Foundation for the Design and Analysis of Robotic Systems and Behaviors (1994)  (Make Corrections)  (9 citations)
Zhang Ying



  Home/Search   Context   Related

 
View or download:
cs.ubc.ca/ftp/local/te...TR9426.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  indiana.edu:800...ealtime+system (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Robots are generally composed of electromechanical parts with multiple sensors and actuators. The overall behavior of a robot emerges from coordination among its various parts and interaction with its environment. Developing intelligent, reliable, robust and safe robots, or real-time embedded systems, has become a focus of interest in recent years. In this thesis, we establish a foundation for modeling, specifying and verifying discrete/continuous hybrid systems and take an integrated approach... (Update)

Cited by:   More
Past- and Future-Oriented Time-Bounded Temporal Properties with OCL - Flake (2004)   (Correct)
Formal Methods in Robotics: Fault Tree Based Verification - Lankenau, Meyer (1999)   (Correct)
Cnj: A Visual Programming Environment - For Constraint Nets   (Correct)

Active bibliography (related documents):   More   All
1.8:   Constraint Nets: A Semantic Model for Hybrid Dynamic Systems - Zhang, Mackworth (1995)   (Correct)
1.4:   Constraint Programming in Constraint Nets - Zhang (1993)   (Correct)
1.1:   Synthesis of Hybrid Constraint-Based Controllers Ying Zhang - And Alan Mackworth   (Correct)

Similar documents based on text:   More   All
0.2:   The Performance Of Clustering Techniques For Scalable Web Servers - Zhang (2002)   (Correct)
0.1:   New Advances on Bayesian Ying-Yang Learning System With Kullback.. - Xu (1997)   (Correct)
0.1:   Resume - Tyan   (Correct)

Related documents from co-citation:   More   All
6:   Constraint nets: a semantic model for hybrid dynamic systems - Zhang, Mackworth - 1995
5:   Specification and verification of constraint-based dynamic systems - Zhang, Mackworth
4:   Specification and verification of concurrent programs by 8-automata (context) - Manna, Pnueli - 1987

BibTeX entry:   (Update)

Y. Zhang. A Foundation for the Design and Analysis of Robotic Systems and Behaviours. PhD thesis, Department of Computer Science, University of British Columbia, September 1994. http://citeseer.ist.psu.edu/zhang94foundation.html   More

@techreport{ ying94foundation,
    author = "Zhang Ying",
    title = "A Foundation for the Design and Analysis of Robotic Systems and Behaviors",
    number = "TR-94-26",
    year = "1994",
    url = "citeseer.ist.psu.edu/zhang94foundation.html" }
Citations (may not include all citations):
2732   Communicating Sequential Processes (context) - Hoare - 1985
1364   A robust layered control system for a mobile robot (context) - Brooks - 1986
1180   The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
725   Temporal and modal logic (context) - Emerson - 1990
673   Actor: A model of concurrent computation in distributed syst.. (context) - Agha - 1985
663   Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1969
625   Parallel Distributed Processing --- Exploration in the Micro.. (context) - Rumelhart, McClelland - 1986
625   Kluwer Academic Publishers (context) - Latombe, Planning - 1991
477   Intelligence without representation - Brooks - 1991
451   Planning for conjunctive goals (context) - Chapman - 1987
444   Towards a general theory of action and time (context) - Allen - 1990
413   Petri-Net Theory and the Modeling of Systems (context) - Peterson - 1981
405   Real-time obstacle avoidance for manipulators and mobile rob.. (context) - Khatib - 1986
374   Automata on infinite objects (context) - Thomas - 1990
365   Pengi: An implementation of a theory of activity (context) - Agre, Chapman - 1987
299   Algebraic Theory of Processes (context) - Hennessy - 1988
268   The theory of timed automata - Alur, Dill - 1991
261   Reactive reasoning and planning (context) - Georgeff, Lansky - 1987
242   Planning and Control (context) - Dean, Wellman - 1991
232   Hybrid automata: An algorithmic approach to the specificatio.. - Alur, Courcoubetis et al. - 1993
216   Theoretical Computer Science (context) - Milner, synchrony - 1983
213   Universal plans for reactive robots in unpredictable environ.. - Schoppers - 1987
194   the development of reactive system (context) - Harel, Pnueli - 1985
189   Solving time-dependent planning problems (context) - Boddy, Dean - 1989
186   A temporal calculus of communicating systems (context) - Moller, Tofts - 1990
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
162   Vehicles: Experiments in Synthetic Psychology (context) - Braitenberg - 1984
160   A temporal logic for reasoning about processes and plans (context) - McDermott - 1990
151   Reasoning about Change (context) - Shoham - 1988
139   From timed to hybrid systems - Maler, Manna et al. - 1991
135   Introduction to Robotics (context) - Craig - 1986
132   Strand: New Concepts in Parallel Programming (context) - Foster, Taylor - 1989
127   Counter-Free Automata (context) - McNaughton, Papert - 1971
125   A temporal logic for multilevel reasoning about hardware (context) - Moszkowski - 1985
121   Concurrent constraint programming languages (context) - Saraswat - 1989
118   Temporal Logic For Real-Time Systems (context) - Ostroff - 1989
116   From ATP to timed graphs and hybrid systems - Nicollin, Sifakis - 1991
115   Simon and Schuster (context) - Minsky, of - 1986
112   LUSTRE: A declarative language for programming synchronous s.. (context) - Caspi, Pilaud et al. - 1987
102   Modeling and verification of time dependent systems using Ti.. (context) - Berthomieu, Diaz - 1991
100   Gedanken-experiments on sequential machines (context) - Moore - 1956
99   The synthesis of digital machines with provable epistemic pr.. (context) - Rosenschein, Kaelbling - 1987
92   What are plans (context) - Agre, Chapman - 1988
90   Time-constrained automata - Merritt, Modugno et al. - 1991
83   Communication of ACM (context) - Sutherland - 1989
75   Timed transition systems - Henzinger, Manna et al. - 1991
73   Topology via Logic (context) - Vickers - 1989
72   Hybrid dynamical systems theory and the SIGNAL language (context) - Benveniste, LeGuernic - 1990
71   A really abstract concurrent model and its temporal logic (context) - Barringer, Kuiper et al. - 1986
66   Temporal logics in ai: Semantical and ontological considerat.. (context) - Shoham - 1987
62   Models for hybrid systems: Automata (context) - Nerode, Kohn - 1993
62   A formal model of computation for sensory-based robotics - Lyons, Arbib - 1989
61   Introduction to Dynamic Systems: Theory (context) - Luenberger - 1979
60   Software requirements analysis for real-time process-control.. (context) - Jaffe, Leveson et al. - 1991
60   The dynamics of action selection (context) - Maes - 1989
53   The ecology of computation (context) - Huberman - 1988
52   Specification and verification of concurrent programs by 8-a.. (context) - Manna, Pnueli - 1987
52   Algebraic Approaches to Program Semantics (context) - Manes, Arbib - 1986
46   Hybrid systems in tla - Lamport - 1993
45   Intelligence as Adaptive Behavior: An Experiment in Computat.. (context) - Beer - 1990
44   A robot that walks; emergent behaviors from a carefully evol.. (context) - Brooks - 1988
41   Semantics and completeness of duration calculus (context) - Hansen, Zhou - 1991
37   Asynchronous distributed control system for a mobile robot (context) - Brooks, Connell - 1986
36   Digital Systems Research Center (context) - Lamport, logic et al. - 1991
36   Concurrent processes and their syntax (context) - Milne, Milner - 1979
35   The semantics of a simple language for parallel processing (context) - Kahn - 1974
35   Anytime problem solving using dynamic programming (context) - Boddy - 1991
32   The definition and implementation of a computer programming .. (context) - Steele - 1980
31   The relaxation method for linear inequalities (context) - Agmon - 1954
31   A Colony Architecture for an Artificial Creature (context) - Connell - 1990
30   Relating processes with respect to speed (context) - Moller, Tofts - 1991
28   Programming in timed concurrent constraint languages - Saraswat, Jagadeesan et al. - 1994
28   Multiple agent hybrid control architecture (context) - Nerode, Kohn - 1993
28   Macmillan Publishing Company (context) - Royden, rd - 1988
26   The method of projections for finding the common point of co.. (context) - Gubin, Polyak et al. - 1967
25   Robot planning and control via potential functions (context) - Koditschek - 1989
24   Department of Computer Science (context) - McMillan, checking et al. - 1992
24   A method for synthesizing sequential circuits (context) - Mealy - 1955
22   Optimal Control of Differential and Functional Equations (context) - Warga - 1972
21   Concurrent Prolog (context) - Shapiro - 1987
20   A theory of interactions: Unifying qualitative and quantitiv.. (context) - Williams - 1991
20   Offices are open systems - Hewitt - 1988
20   Foundations of actor semantics (context) - Clinger - 1981
19   Computer Science Department (context) - Lavignon, Shoham et al. - 1990
18   Dataflow and eduction: Data-driven and demand-driven distrib.. (context) - Ashcroft - 1986
18   General Systems Theory: Mathematical Foundations (context) - Mesarovic, Takahara - 1975
18   Action networks (context) - Nilsson - 1989
17   Constraint methods for neural networks and computer graphics (context) - Platt - 1989
16   Synthesizing information--tracking automata from environment.. (context) - Rosenschein - 1989
15   Will the robot do the right thing - Zhang, Mackworth - 1994
15   Turtle Geometry: The Computer as a Medium for Exploring Math.. (context) - Abelson, diSessa - 1981
14   Herbert: A second generation mobile robot (context) - Brooks, Connell et al. - 1988
14   Qualitative Reasoning About Physical Systems (context) - Weld, deKleer - 1990
12   Phase space navigator: Towards automating control synthesis .. (context) - Zhao - 1991
12   Recursive Function Theory and Logic (context) - Yasuhara - 1971
10   Number 736 in Lecture Notes on Computer Science (context) - Grossman, Nerode et al. - 1993
10   Can the situated robot play soccer (context) - Sahota, Mackworth - 1994
10   Using temporal logic for prototyping: The design of a lift c.. (context) - Hale - 1990
10   Language design and open systems (context) - Kahn, Miller - 1988
9   Least constraint: A framework for the control of complex mec.. (context) - Pai - 1991
9   Algebraic Automata Theory (context) - Holcombe - 1982
9   Integrating planning and reactive control (context) - Rosenschein, Kaelbling - 1989
9   SIMNON -- an interactive simulation program for nonlinear sy.. (context) - Elmqvist - 1977
8   Modeling behavioral dynamics in discrete robotic systems wit.. (context) - Zhang, Mackworth - 1992
8   SystemBuild User's Guide (context) - Inc
7   A formal method for hard real-time programming (context) - Gordon
7   Thermal markets for controlling building environments (context) - Clearwater, Huberman - 1993
6   Mathematical theory of the differential analyzer (context) - Shannon - 1941
6   Coordinated Computing: : Tools and Techniques for Distribute.. (context) - Filman, Friedman - 1984
5   New iterative methods for linear inequalities (context) - Yang, Murty
4   Simulation for hybrid systems and nonlinear control (context) - Guckenheimer, Nerode - 1992
4   Van Nostrand Reinhold Company Inc (context) - Shu - 1988
4   Qualitative Methods in the Many Body Problem (context) - Khilmi - 1961
4   Cascade control of hydraulically actuated manipulators (context) - Sepehri, Dumont et al. - 1990
4   Parallel and distributed constraint satisfaction: Complexity (context) - Zhang, Mackworth - 1993
3   Elementary Topology (context) - Gemignani - 1990
3   Programming parallel distributed control for complex systems (context) - Pai - 1989
3   Special Section on Real-Time Knowledge-Based Control Systems (context) - Schoppers, of et al. - 1991
3   Decision graphs: Algorithms and applications to influence di.. (context) - Qi - 1994
3   Discrete Dynamical Systems: Theory and Applications (context) - Sandfur - 1990
3   for linear inequalities. Linear Algebra and Its Applications (context) - Censor, Elfving - 1982
3   BYTE Publications (context) - Albus, Behavior - 1981
2   Software requirements specification for modeling design (context) - Taylor - 1992
2   A characterization of ternary simulation of gate networks (context) - Brzozowski, Seger - 1987
2   SDT --- a real-time CASE tool for the CCITT specification la.. (context) - Atlevi - 1989
2   Open information systems semantics for DAI (context) - Hewitt - 1991
2   Transputer-based behavioral module for multi-sensory robot c.. (context) - Zhang - 1989
2   AutoCode User's Guide (context) - Inc
1   Temporal proof methodologies (context) - Henzinger, Manna et al. - 1991
1   Verifying real-time programs: A case study (context) - Gordon - 1992
1   Object oriented modeling for sensor-guided real-time robot c.. (context) - Zhang - 1990
1   Forgotten topics (context) - Petri - 1986
1   A csp model for distributed control software design (context) - Lau, Daniel - 1989
1   Theoretical Biology and Complexity (context) - Rosen - 1985
1   Similink User's Guide (context) - Inc
1   A timed calulus for lotos (context) - Quemada, Azcorra et al. - 1989
1   logic observers for finite automata (context) - Caines, Wang et al. - 1988
1   Number 600 in Lecture Notes on Computer Science (context) - deBakker, Huizing et al. - 1991
1   Research Notes in Artificial Intelligence (context) - Huhns, Artificial - 1987
1   Checking that finit-state concurrent programs satisfy their .. (context) - Lichtenstein, Pnueli - 1985

Documents on the same site (http://www.cs.indiana.edu:800/cstr/search?max%3D500+mink%3D2+real-time+system):   More
Practical Real-Time Planning - Washington, Hayes-Roth (1992)   (Correct)
Analysis of Deadline Scheduled Real-Time Systems - Spuri (1996)   (Correct)
Will The Robot Do The Right Thing? - Zhang, Mackworth (1992)   (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