Requirements of an integrated formal method for intelligent swarms

No abstract is available for this paper.

• Publication year

  2005

• Venue

  International Workshop on Formal Methods for Industrial Critical Systems

• Publication date

  2005-09-05

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1145/1081180.1081196
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems

  2007cited by this paper
• Experiences applying formal approaches in the development of swarm-based space exploration systems

  2006cited by this paper
• Autonomous and autonomic systems: a paradigm for future space exploration missions

  2006cited by this paper
• Towards an automated development methodology for dependable systems with application to sensor networks

  2005cited by this paper
• Categories for software engineering

  2005cited by this paper
• Verifying large numbers of cooperating adaptive agents

  2005cited by this paper
• Autonomous and Autonomic Swarms

  2005influential reference
• Combining particle swarms and K -nearest neighbors for the development of quantitative sturcture-activity relationships

  2004cited by this paper
• Properties of a formal method for prediction of emergent behaviors in swarm-based systems

  2004cited by this paper
• Verification of NASA emergent systems

  2004cited by this paper
• NASA's Swarm Missions: The Challenge of Building Autonomous Software

  2004cited by this paper
• Neural Basis Function Control of Super Micro Autonomous Reconfigurable Technology (SMART) Nano-Systems

  2004cited by this paper
• Formal Methods for Autonomic and Swarm-based Systems

  2004cited by this paper
• Verification of emergent behaviors in swarm-based systems

  2004cited by this paper
• ANTS for Human Exploration and Development of Space

  2003cited by this paper
• ANTS (Autonomous Nano Technology Swarm): An Artificial Intelligence Approach To Asteroid Belt Resource Exploration

  2003cited by this paper
• Economic Simulations in Swarm: Agent-Based Modelling and Object Oriented Programming - By Benedikt Stefansson and Francesco Luna: A Review and Some Comments about "Agent Based Modeling"

  2002cited by this paper
• ANTS: Applying A New Paradigm for Lunar and Planetary Exploration

  2002cited by this paper
• Onboard science software enabling future space science and space weather missions

  2002influential reference
• Swarm Intelligence: From Natural to Artificial Systems

  2002cited by this paper
• Mars Polar Lander fault identification using model-based testing

  2001cited by this paper
• Ants and agents: A process algebra approach to modelling ant colony behaviour

  2001influential reference
• Verification and validation of autonomous systems

  2001cited by this paper
• Artificial life. Boids of a feather flock together.

  2000cited by this paper
• Ultrashort-pulse lasers: big payoffs in a flash.

  2000cited by this paper
• Combination and implementation of processes and data: from CSP-OZ to Java

  2000cited by this paper
• Swarm smarts.

  2000cited by this paper
• Report on the Loss of the Mars Polar Lander and Deep Space 2 Missions

  2000cited by this paper
• Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System

  2000cited by this paper
• Experience using formal methods for specifying a multi-agent system

  2000cited by this paper
• Using artificial physics to control agents

  1999influential reference
• Multiagent systems: a modern approach to distributed artificial intelligence

  1999cited by this paper
• RT-Z: An Integration of Z and timed CSP

  1999cited by this paper
• Multi-Agent Communication in JAFMAS

  1999cited by this paper
• The Specification of Dynamic Distributed Component Systems

  1998cited by this paper
• Theories of Programming Languages: Communicating Sequential Processes

  1998influential reference
• Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study

  1998cited by this paper
• Arborscapes: A Swarm-Based Multi-agent Ecological Disturbance Model

  1998cited by this paper
• Managing Emergent Behavior in Distributed Control Systems

  1997cited by this paper
• Ant colonies for the traveling salesman problem

  1997cited by this paper
• Ant colonies for the travelling salesman problem.

  1997cited by this paper
• An operational semantics for ZCCS

  1997cited by this paper
• Self-organization in social insects.

  1997cited by this paper
• Supporting ODP - Translating LOTOS to Z

  1997cited by this paper
• Formal methods: state of the art and future directions

  1996cited by this paper
• Communicating X-machines

  1996cited by this paper
• Concurrent systems: Formal development in CSP

  1996cited by this paper
• A Method for Specifying and Proving Distributed Cooperative Algorithms

  1995cited by this paper
• Concurrent Systems: Formal Development in CSP

  1995influential reference
• The Swarm Simulation System and Individual-Based Modeling

  1994cited by this paper
• CONCEPT OF CELLULAR ROBOTICS

  1994cited by this paper
• Timed CSP: Theory and Practice

  1991cited by this paper
• Towards a formal description of intracellular biochemical organization

  1990cited by this paper
• X-machines as a basis for dynamic system specification

  1988cited by this paper
• Parallel program design - a foundation

  1988influential reference
• Flocks, herds, and schools: a distributed behavioral model

  1987cited by this paper
• Theory Of Self Reproducing Automata

  1967cited by this paper
• Under Consideration for Publication in Formal Aspects of Computing Csp2b: a Practical Approach to Combining Csp and B

  year unknowncited by this paper

• Using Category Theory to Explore and Model Label Event Structures

  2019cites this paper
• Formal Specification and Verification of Autonomous Robotic Systems 100 : 3 • By “ formalisms ”

  2019cites this paper
• Robotics and Integrated Formal Methods: Necessity meets Opportunity

  2018cites this paper
• Integrated Formal Methods

  2018influential citation
• Formal Specification and Verification of Autonomous Robotic Systems

  2018cites this paper
• Specification, Testing and Verification of Unconventional Computations using Generalised X-Machines

  2018cites this paper
• Specification, testing and verification of unconventional computations using generalized X-machines

  2014cites this paper
• Teaching and assessment of mathematical principles for software correctness using a reasoning concept inventory

  2013cites this paper
• Formal specification of particle Swarm Optimization using VDM-SL

  2013cites this paper
• Towards a Formal Reactive Autonomic Systems Framework using Category Theory

  2013influential citation
• Network-Level Control of Collaborative UAVs

  2011cites this paper
• Towards Specifying Swarm-Based Systems using Categorical Modeling Language: A Case Study

  2011influential citation
• Foodball: Emergent resource gathering in collective robotic environments

  2011cites this paper
• Multi-Agent Approach to Modeling and Implementing Fault-Tolerance in Reactive Autonomic Systems

  2011cites this paper
• A Novel Agent-Based Simulation Framework for Sensing in Complex Adaptive Environments

  2011cites this paper
• Towards a Tool Support for Specifying Complex Software Systems by Categorical Modeling Language

  2010cites this paper
• Self-management capability requirements with SelfMML & INGENIAS to attain self-organising behaviours

  2010cites this paper
• Formal Specification of Substitutability Property for Fault-Tolerance in Reactive Autonomic Systems

  2010cites this paper
• High performance cellular level agent-based simulation with FLAME for the GPU

  2010cites this paper
• A formal specification of fault-tolerance in prospecting asteroid mission with Reactive Autonomie Systems Framework

  2010cites this paper
• Emergent Behavior as a Function of Information

  2009cites this paper
• Software monitoring through formal specification animation

  2009cites this paper
• Emergent Communication: The evolution of simplistic machines using different communication types

  2009cites this paper
• Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study

  2009cites this paper
• Movement in Collaborative Robotic Environments Based on the Fish Shoal Emergent Patterns

  2009cites this paper
• Emergent Behavior Control Patterns in Robotic Collectives

  2009cites this paper
• Flying Sensors - Swarms in Space

  2008cites this paper
• A Formal Approach to Specifying and Verifying Spacecraft Behavior

  2007cites this paper
• Some Verification Issues at NASA Goddard Space Flight Center

  2005cites this paper