An Environment for Formal Modeling and Simulation of Control Systems.

Bernardo Copstein Michael da Costa Móra Leila Ribeiro

Published in: Annual Simulation Symposium (2000)

Keyphrases

control system
real environment
discrete event simulation
simulation environment
mobile robot
real time
simulation models
autonomous robots
control architecture
formal model
agent behavior
modeling method
virtual humans
formal models
simulation tool
dynamic environments
requirements specification
robocup soccer