• 1693 Citations
1974 …2015
If you made any changes in Pure these will be visible here soon.

Research Output 1974 2015

2 Citations

Modeling hybrid systems with petri nets

Bera, D., van Hee, K. M. & Nijmeijer, H., 2015, Simulation and Modeling Methodologies, Technologies and Applications: International Conference, SIMULTECH 2014 Vienna, Austria, August 28-30, 2014 Revised Selected Papers. Dordrecht: Springer, p. 17-42 26 p. (Advances in Intelligent Systems and Computing; vol. 402)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Hybrid systems
Petri nets
Discrete event simulation
Control systems
Computer simulation

Petri nets for modeling robots

Bera, D., 2014, Eindhoven: Technische Universiteit Eindhoven. 276 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)Academic

Open Access
File

Relationship between Simulink and Petri nets

Bera, D., Hee, van, K. M. & Nijmeijer, H., 2014, Eindhoven: Technische Universiteit Eindhoven. 28 p. (Computer science reports; vol. 1406)

Research output: Book/ReportReportAcademic

Open Access
File
Petri nets
Control systems
Discrete event simulation
Semantics
Computer simulation

Relationship between Simulink and Petri nets

Bera, D., van Hee, K. M. & Nijmeijer, H., 2014, Proceedings of SIMULTECH 2014 : Fourth International Conference on Simulation and Modeling Methodologies, Technologies and Applications, 28-30 August, 2014, Vienna, Austria. Obaidat, M. S., Kacprzyk, J. & Tuncer Oren, X. (eds.). s.l.: s.n., p. 44-

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Petri nets
Control systems
Discrete event simulation
Semantics
Computer simulation
16 Citations

Tele-operated service robots : ROSE

Osch, van, M. P. W. J., Bera, D., Hee, van, K. M., Koks, Y. & Zeegers, H., 2014, In : Automation in Construction. 39, 1, p. 152-160 9 p.

Research output: Contribution to journalArticleAcademicpeer-review

Robots
Experiments
Testing

Student theses

Aanzet tot de ontwikkeling van een informatiesysteem voor het werken met Markov-modellen

Author: van den Elzen, J., 31 Aug 1986

Supervisor: Wessels, J. (Supervisor 1), van Hee, K. (Supervisor 2) & Venema, W. (External person) (Supervisor 2)

Student thesis: Master

Aanzet tot het ontwerp van een informatiesysteem voor het werken met Markov-modellen

Author: Reynaerts, J., 31 Aug 1986

Supervisor: van Hee, K. (Supervisor 1), Wessels, J. (Supervisor 2) & Venema, W. (External person) (Supervisor 2)

Student thesis: Master

Adaptive architecture for polis system

Author: Bera, D., 31 Aug 2008

Supervisor: van Hee, K. (Supervisor 1)

Student thesis: Master

Afleiden en bewijzen van functionele programma's

Author: Robinson, R., 31 Aug 1986

Supervisor: Rem, M. (Supervisor 1), van Hee, K. (Supervisor 2) & Boots, P. (Supervisor 2)

Student thesis: Master

A mathematical view on entity-relationship models

Author: van der Lee, P., 1 Dec 1986

Supervisor: van Hee, K. (Supervisor 1) & Rem, M. (Supervisor 2)

Student thesis: Master