A randomized model for communicating embedded systems

@article{Bujorianu2008ARM,
  title={A randomized model for communicating embedded systems},
  author={M. C. Bujorianu and M. L. Bujorianu},
  journal={2008 16th Mediterranean Conference on Control and Automation},
  year={2008},
  pages={1435-1440}
}
Nowadays, there is an intense research activity in designing systems that operate in real life, physical environments. This research is spanned by various areas in computer science and engineering: embedded systems, reactive systems, wireless communications, hybrid systems, stochastic processes, etc. A severe limitation in the development of these systems is due to the mathematical foundation and complexity of the physical environment. Often, the physical environment is continuous and uncertain… CONTINUE READING
2 Citations
31 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-2 of 2 extracted citations

References

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

Using a Reflective PiCalculus Based ADL to Create an Active Software Engineering Environment ” 2 nd European Workshop on Software Architectures

  • B. C. Warboys e. a.
  • 2007

Bujorianu A Model Checking Strategy for a Class of Performance Properties of Fluid Stochastic Models

  • M. L. Bujorianu, C. M.
  • 2006

M.C.Bujorianu A Model Checking Strategy for a Class of Performance Properties of Fluid Stochastic Models

  • M. L. Bujorianu
  • In M. Telek e.a. eds., Proceedings of 3rd…
  • 2006
1 Excerpt

Towards Modelling of General Stochastic Hybrid Systems

  • M. L. Bujorianu, J. Lygeros
  • 2006

Similar Papers

Loading similar papers…