REAL TIME MISSION CONTROL SYSTEM FOR AUTONOMOUS VEHICLES

[1]  Alan C. Shaw,et al.  Communicating Real-Time State Machines , 1992, IEEE Trans. Software Eng..

[2]  S. M. Smith,et al.  The Ocean Voyager II: an AUV designed for coastal oceanography , 1994, Proceedings of IEEE Symposium on Autonomous Underwater Vehicle Technology (AUV'94).

[3]  René David,et al.  Petri nets for modeling of dynamic systems: A survey , 1994, Autom..

[4]  Daniel Simon,et al.  On the Validation of Robotics Control Systems Part II: Analysis of real-time closed-loop control tasks , 1995 .

[5]  守屋 悦朗,et al.  J.E.Hopcroft, J.D. Ullman 著, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley, A5変形版, X+418, \6,670, 1979 , 1980 .

[6]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[7]  Pascal Raymond,et al.  The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[8]  Frank DiCesare,et al.  Modular transformation methods for generalized Petri nets and their application to automated manufacturing systems , 1991, IEEE Trans. Syst. Man Cybern..

[9]  Fei-Yue Wang,et al.  A Petri-net coordination model for an intelligent mobile robot , 1991, IEEE Trans. Syst. Man Cybern..

[10]  John J. Leonard,et al.  A second generation survey AUV , 1994, Proceedings of IEEE Symposium on Autonomous Underwater Vehicle Technology (AUV'94).

[11]  Carolyn L. Beck,et al.  Synthesis of Place Transition Nets for Simulation and Control of Manufacturing Systems , 1987 .

[12]  Christos G. Cassandras,et al.  Discrete event systems : modeling and performance analysis , 1993 .

[13]  G. Ayela,et al.  New innovative multimodulation acoustic communication system , 1994, Proceedings of OCEANS'94.

[14]  Frédéric Boussinot,et al.  The ESTEREL language , 1991, Proc. IEEE.

[15]  Ichiro Suzuki,et al.  A Method for Stepwise Refinement and Abstraction of Petri Nets , 1983, J. Comput. Syst. Sci..

[16]  J. Gomes,et al.  Shallow water communication system for an AUV , 1994, Proceedings of OCEANS'94.

[17]  Mordechai Ben-Ari,et al.  Principles of concurrent programming , 1982 .

[18]  John McCarthy,et al.  Recursive functions of symbolic expressions and their computation by machine, Part I , 1959, Commun. ACM.

[19]  Yiannis E. Papelis,et al.  Specification and Analysis of Parallel/Distributed Software and Systems by Petri Nets With Transition Enabling Functions , 1992, IEEE Trans. Software Eng..

[20]  Edmund M. Clarke,et al.  A language for compositional specification and verification of finite state hardware controllers , 1991 .

[21]  A. Pascoal,et al.  Design of a mission management system for the autonomous underwater vehicle MARIUS , 1994, Proceedings of IEEE Symposium on Autonomous Underwater Vehicle Technology (AUV'94).

[22]  Yadati Narahari,et al.  A Petri net approach to the modelling and analysis of flexible manufacturing systems , 1985 .

[23]  MuDer Jeng,et al.  A review of synthesis techniques for Petri nets with applications to automated manufacturing systems , 1993, IEEE Trans. Syst. Man Cybern..

[24]  MengChu Zhou,et al.  Parallel and sequential mutual exclusions for petri net modeling of manufacturing systems with shared resources , 1991, IEEE Trans. Robotics Autom..

[25]  Narain H. Gehani,et al.  Rendezvous Facilities: Concurrent C and the Ada Language , 1988, IEEE Trans. Software Eng..

[26]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[27]  David Lorge Parnas,et al.  Concurrent control with “readers” and “writers” , 1971, CACM.

[28]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[29]  Tilak Agerwala,et al.  A Synthesis Rule for Concurrent Systems , 1978, 15th Design Automation Conference.

[30]  Leon Sterling,et al.  The Art of Prolog - Advanced Programming Techniques , 1986 .

[31]  Rachid Alami,et al.  Mission Planning and Execution Control for Intervention Robots , 1995 .

[32]  Robert B. McGhee,et al.  Autonomous underwater vehicles: Hybrid control of mission and motion , 1996, Auton. Robots.

[33]  Nicolas Halbwachs,et al.  Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE , 1992, IEEE Trans. Software Eng..

[34]  Carlos Silvestre,et al.  Strategic level mission control - an evaluation of CORAL and PROLOG implementations for mission control specifications , 1996, Proceedings of Symposium on Autonomous Underwater Vehicle Technology.

[35]  Robert Valette,et al.  Analysis of Petri Nets by Stepwise Refinements , 1979, J. Comput. Syst. Sci..

[36]  Insup Lee,et al.  A Layered Approach to Automating the Verification of Real-Time Systems , 1992, IEEE Trans. Software Eng..

[37]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[38]  Edsger W. Dijkstra,et al.  Solution of a problem in concurrent programming control , 1965, CACM.

[39]  Steven D. Litvintchouk,et al.  Design of Ada Systems Yielding Reusable Components: An Approach Using Structured Algebraic Specification , 1984, IEEE Transactions on Software Engineering.