Coordination of multiagent systems with fuzzy clocks

Concurrent Engineering Research and Applications

Volumn 4, Issue 1, 1996, Pages 73-86

  Peters III, James F ^a,b,c,d,e   Sohi, Nirmal ^a  

^a UNIVERSITY OF MANITOBA   (Canada)

^b KANSAS STATE UNIVERSITY   (United States)

^c Rome Laboratory   (United States)

^d CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^e Faculty of Engineering

Author keywords

Agent; Concurrent; Engineering; Fuzzy; Imprecise computation; Multiagent systems; Petri nets; Quality of product; Real time

Indexed keywords

EID: 0344689878     PISSN: 1063293X     EISSN: None     Source Type: Journal    
DOI: 10.1177/1063293x9600400107     Document Type: Article

References (41)

1. Garvey, A. J. and V. R. Lesser. 1993. "Design-to-Time Real-Time Scheduling," IEEE Trans. on Systems, Man, and Cybernetics, 23(6):1491-1502.
2. Lesser, V. R., J. Pavlin, E. Durfee. 1988. "Approximate Reasoning in Real-Time Problem Solving," AI Magazine, 9:49-61.
3. Milner, R. 1989. Communication and Concurrency, NJ: Prentice-Hall.
4. Liu, J. W. S., W.-K. Shih, K.-J. Lin, R. Bettati and J.-Y. Chung. 1994. "Imprecise Computations," Proceedings of the IEEE, 82(1):83-93.
5. Shina, S. G. and J. Turino. 1991. "Concurrent Engineering," IEEE Spectrum, (July):22-37.
6. Gerber, R., S. Hong and M. Saksena. 1995. "Guaranteeing Real-Time Requirements with Resource-Based Calibration of Periodic Processes," IEEE Trans. on Software Engineering, 21(7):579-592.
7. Shin, K. G. and P. Ramanathan. 1994. "Real-Time Computing: A New Discipline of Computer Science and Engineering," Proceedings of the IEEE, 82(1):6-24. Available via ftp://ftp.cerc.wvu.edu/pub/techReports/1992/.
8. Karandikar, H. M., R. T. Wood and J. Byrd. "Process and Technology Readiness Assessment for Implementing Concurrent Engineering," Proc. Second Annual Intl. Symp. of the National Council on Systems Engineering (NCOSE), Seattle, WA, 20-22 July 1992 (see also, Report CERC-TR-TM-92-004, Concurrent Engineering Research Center, West Virginia University). Available via ftp://ftp.cerc.wvu.edu/pub/ techReports/1992/.
9. Nichols, D. M. "Monitoring Design Progress in a Concurrent Engineering Environment," Proc. CE & CALS'92: Enabling Technologies for Concurrent Engineering, Wash., D.C., 1-4 June 1992. Available via ftp://ftp.cerc.wvu.edu/pub/ techReports/1993/CERC-TR-TM-93-099.ps.Z.
10. Brandt, W. 1993. "CE Considerations in Software Evaluation," Proc. of CE & CALS Washington '93 Conference and Exposition, Washington, D.C., pp. 257-272.
11. Muraskin, M. 1995. Personal Communication.
12. Muraskin, M. 1990. "On the Nature of Time," International Journal of Math. and Math. Sciences, 13(1):179-185.
13. Muraskin. M. 1990. "The Arrow of Time," Physics Essays, 3(4):448-452.
14. Ramanna, S. 1995. "A Blackboard Architecture of the Microwave Generic Controller for the DSN Antenna Subsystem," IEEE Aerospace and Electronic Systems, 10(7):12-15.
15. Peters, J. F. and N. Sohi. 1995. "Fuzzy Real-Time Synchronization Model for Multimedia Communciation," Report UMECE-95-003, Electrical and Computer Engineering Department, University of Manitoba.
16. Lakos, C. A. 1993. "Object Petri Nets: Definition and Relationship to Colored Nets," Report TR93-7, Computer Science Department, University of Tasmania, Australia.
17. Lakos, C. A. 1994. "From Coloured Petri Nets to Object Petri Nets," Report TR94-9, Computer Science Department, University of Tasmania, Australia. Available via ftp://opn.cs.utas.edu.au/pub/postscript/pn95-paper.ps.Z.
18. Lakos, C. A. and C. Keen. 1994. "LOOPN ++: A New Language for Object-Oriented Petri Nets," Proc. of Modelling and Simulation, Barcelona, Spain, 1994, pp. 369-374 (see also, Report TR94-4, CS Dept., Univ. of Tasmania, Australia).
19. Huber, P., K. Jensen and R. M. Shapiro. 1989. "Hierarchies in Coloured Petri Nets," Proc. International Conf. on Application and Theory of Petri Nets, Bonn, June.
20. Abouaissa, H., B. Rabenasolo, M. Ferney and P. Vaudrey. 1995. "Generic Models for Representing Reactive and Complex Systems Using Hierarchical Coloured Petri Nets," Petri Net Newsletter, 48(April):27-48.
21. Lakos, C. A., J. Lamp, C. Keen and B. Marriott. 1991. "Modelling Layered Protocols in LOOPN," Proc. of Fourth Intl. Workshop on Petri Nets and Performance Models, Melbourne, Australia.
22. Lakos, C. A. and C. D. Keen. 1991. "Modelling Layered Protocols in LOOPN," Proc. of Fourth Int. Workshop on Petri Net and Performance Models (PNPM91), Melbourne, AU, pp. 106-115.
23. Lakos, C. A., J. Lamp, C. Keen and B. Marriott. 1995. "Modelling Network Protocols with Object Petri Nets," Report, Computer Science Department, University of Tasmania, Australia. Available via ftp://opn.cs.utas.edu.au/pub/postscript/ pn95-protocols.ps.Z.
24. Perters, J. F. and N. Sohi. 1995. "Fuzzy Real-Time Synchronization Model for Multimedia Communication," Report UMECE-95-003, Electrical and Computer Engineering Department, University of Manitoba.
25. Peters, J. F. 1995. "Mechanizing Real-Time Linear CSP in Higher Order Logic," Report UMECE-95-004, Electrical and Computer Engineering Department, University of Manitoba, to appear in Methods of Logic in Computer Scinece.
26. Peters, J. F. and L. Baumela. 1995. "Designing a Real-Time Target Tracking System with Higher Order Logic," Proc. IEEE WESCANEX95 Communications, Power, and Computing, Manitoba, Canada, May, pp. 36-41.
27. Petri, C. 1962. "Kommunikation mit Automaten," Ph.D.diss., University of Berlin.
28. Petri, C. 1980. "Introduction to General Net Theory," in Net Theory and Applications, W. Brauer, ed., Lecture Notes in Computer Science, No. 84, NY: Springer-Verlag.
29. Xu, Z., and O. de Vel. 1991. "Petri Net Modelling of Occam Programs for Detecting Indeterminancy, Non-Termination and Deadlock Anomalies," Proc. of Fourth Int. Workshop on Petri Net and Performance Models (PNPM91), Melbourne, AU, pp. 116-124.
30. 1995. SunSoft, "The HotJava™ Browser: A White Paper," Report, Sun Microsystems, Inc., Mountain View, CA. Available via http://java.sun.eom/1.0alpha3/doc/overview/ hotjava/index.html.
31. Brandt, W. D. and J. J. Petro. 1992. "Integrating the CE Approach of the CERC in Engineering Scenarios," Report CERC-TR-TM-92-005, Concurrent Engineering Research Center, West Virginia University. Available via ftp://ftp.cerc. wvu.edu/pub/techReports/1992/CERC-TR-TM-92-005.ps.Z.
32. Didic, M. and G. Richter. 1985. "Time & Clocks & Task Management," Proc. of Int. Workshop on Timed Petri Nets, Torino, Italy, July, pp. 116-125.
33. Richter, G. 1985. "Clocks and Their Use in Time Modeling," in Information Systems: Theoretical and Formal Aspects, A. Sermandas, et al., eds., Amsterdam: North Holland.
34. Zadeh, L. A. 1975. "Fuzzy Logic and Approximate Reasoning," Synthesis, 30:407-428.
35. Ramanathan, P., D. D. Kandlur and K. G. Shin. 1990. "Hardware Assisted Software Clock Synchronization for Homogeneous Distributed Systems," IEEE Trans. on Computers, 39(4):514-524.
36. Peters, J. F. and S. Ramanna. 1992. "Verifying Command Sequences for Satellite Systems," IEEE Aerospace and Electronic Systems Magazine, (October):14-21.
37. Holland, J. 1975. Adaptation in Natural and Artificial Systems, Ann Arbor, MI: Universtiy of Michigan Press.
38. Grefenstette, J. J. 1995. "The Evolution of Strategies for MultiAgent Environments," Report, Navy Center for Applied Research in Artificial Intelligence, Washington, D.C.
39. Schwartz, D. R. and L. M. L. Delcambre, 1994. "AutoCRAT: An Automated Tool to Support Conflict Detection in a Concurrent Engineering Environment. Report CS/E 94-021, Dept. Comp. Sci. & Engineering, Oregon GIST.
40. Mastaglio, T. W., and R. Callahan. 1995. "A Large-Scale Complex Virtual Environment for Team Training," IEEE Computer, 28(7):49-57.
41. Dewan, P. and J. Riedl. 1993. "Toward Computer-Supported Concurrent Software Engineering," IEEE Computer, 26(1):17-27.