A formal mathematical framework for modeling probabilistic hybrid systems

@article{StAubin2006AFM,
  title={A formal mathematical framework for modeling probabilistic hybrid systems},
  author={Robert St-Aubin and Joel Friedman and Alan K. Mackworth},
  journal={Annals of Mathematics and Artificial Intelligence},
  year={2006},
  volume={47},
  pages={397-425}
}
The development of autonomous agents, such as mobile robots and software agents, has generated considerable research in recent years. Robotic systems, which are usually built from a mixture of continuous (analog) and discrete (digital) components, are often referred to as hybrid dynamical systems. Traditional approaches to real-time hybrid systems usually define behaviors purely in terms of determinism or sometimes non-determinism. However, this is insufficient as real-time dynamical systems… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-10 of 32 references

Petri net theory and the modeling of systems

  • James L. Peterson
  • Prentice -Hall,
  • 1981
Highly Influential
6 Excerpts

Mackworth . Modeling uncertain dynamical systems and solving behavioural constraints using probabilistic constraint nets

  • Robert St-Aubin, K. Alan
  • ECAI : Workshop on Modeling and Solving Problems…
  • 2004

Modeling uncertain dynamical systems and solving behavioural constraints using probabilistic constraint nets

  • Robert St-Aubin, Alan K. Mackworth
  • In ECAI: Workshop on Modeling and Solving…
  • 2004
2 Excerpts

Similar Papers

Loading similar papers…