Formal modeling and verification of systems with self-x properties

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4158 LNCS, Issue , 2006, Pages 38-47

  Güdemann, Matthias ^a   Ortmeier, Frank ^a   Reif, Wolfgang ^a  

^a UNIVERSITY OF AUGSBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; INTELLIGENT AGENTS; ROBOT PROGRAMMING;

FORMAL MODELING; FUNCTIONAL CORRECTNESS; QUALITY GUARANTEES; ROBOT PRODUCTION;

ROBOTICS;

EID: 33750077248     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11839569_4     Document Type: Conference Paper

References (8)

1. S. Bussmann. Agent-oriented programming of manufacturing control tasks, 1998.
2. S. Bussmann and K. Schild. Self-organizing manufacturing control: An industrial application of agent technology, 2000.
3. Doron A. Peled Edmund M. Clarke Jr., Orna Grumberg. Model Checking. The MIT Press, 1999.
4. K. Kiriakidis and D. F. Gordon-Spears. Formal modeling and supervisory control of reconfigurable robot teams. In FAABS, pages 92-102, 2002.
5. T. A. Kletz. Hazop and HAZAN notes on the identification and assessment of hazards. Technical report, Inst. of Chemical Engineers, Rugby, England, 1986.
6. R. Mateescu M. A. Cornejo, H. Garavel and N. De Palma. Specification and verification of a dynamic reconfiguration protocol for agent-based applications. In Proc. of the IFIP TC6, pages 229-244, Deventer, The Netherlands, The Netherlands, 2001. Kluwer, B.V.
7. K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1990.
8. F. Ortmeier and W. Reif. Failure-sensitive specification: A formal method for finding failure modes. Technical Report 3, Institut für Informatik, Universität Augsburg, 2004.