• 526 Citaties
19932017

Onderzoeksresultaten per jaar

Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Onderzoeksoutput

Filter
Rapport
Rapport

A control problem for hybrid systems with discrete inputs and outputs

Petreczky, M., Collins, P., Beek, van, D. A., Schuppen, van, J. H. & Rooda, J. E., 2008, Eindhoven: Eindhoven University of Technology. 52 blz. (SE report; vol. 2008-13)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
30 Downloads (Pure)

Application of supervisory control synthesis to MRI scannes : improving evolvability

Theunissen, R. J. M., Petreczky, M., Schiffelers, R. R. H., Beek, van, D. A. & Rooda, J. E., 2010, Eindhoven: Technische Universiteit Eindhoven. 29 blz. (SE report; vol. 2010-06)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
78 Downloads (Pure)

Chi 2.0 language reference manual

Hofkamp, A. T., Rooda, J. E., Schiffelers, R. R. H. & Beek, van, D. A., 2008, Eindhoven: Eindhoven University of Technology. 98 blz. (SE report; vol. 2008-02)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
61 Downloads (Pure)

Control of input/output discrete-event systems

Petreczky, M., Theunissen, R. J. M., Su, R., Beek, van, D. A., Schuppen, van, J. H. & Rooda, J. E., 2008, Eindhoven: Technische Universiteit Eindhoven. 37 blz. (SE report; vol. 2008-12)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
96 Downloads (Pure)

Foundations of a compositional interchange format for hybrid systems

Beek, van, D. A., Reniers, M. A., Schiffelers, R. R. H. & Rooda, J. E., 2006, Eindhoven: Technische Universiteit Eindhoven. 19 blz. (SE report; vol. 2006-05)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
77 Downloads (Pure)

Foundations of a compositional interchange format for hybrid systems

Beek, van, D. A., Reniers, M. A., Schiffelers, R. R. H. & Rooda, J. E., 2006, Eindhoven: Technische Universiteit Eindhoven. 16 blz. (Computer science reports; vol. 0633)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
73 Downloads (Pure)

Linearization of hybrid Chi using program counters

Khadim, U., Beek, van, D. A. & Cuijpers, P. J. L., 2007, Eindhoven: Technische Universiteit Eindhoven. 48 blz. (Computer science reports; vol. 0718)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
29 Downloads (Pure)

Partial bisimulation

Baeten, J. C. M., Beek, van, D. A., Luttik, S. P., Markovski, J. & Rooda, J. E., 2010, Eindhoven: Technische Universiteit Eindhoven. 26 blz. (SE report; vol. 2010-04)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
33 Downloads (Pure)

Process algebra for dynamic system modeling

Baeten, J. C. M., Beek, van, D. A. & Rooda, J. E., 2006, Eindhoven: Technische Universiteit Eindhoven. 23 blz. (Computer science reports; vol. 0603)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
41 Downloads (Pure)

Specifying state-based supervisory control requirements

Jacobs, K. G. M., Markovski, J., Beek, van, D. A., Rooda, J. E. & Somers, L. J. A. M., 2009, Eindhoven: Technische Universiteit Eindhoven. 40 blz. (SE report; vol. 2009-06)

Onderzoeksoutput: Boek/rapportRapportAcademic

4 Downloads (Pure)

Supervisor for toner error handling : a case study in supervisory control of Océ printers

Petreczky, M., Beek, van, D. A. & Rooda, J. E., 2008, Eindhoven: Technische Universiteit Eindhoven. 55 blz. (SE report; vol. 2008-11)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
34 Downloads (Pure)

Supervisory control synthesis for a patient support system

Theunissen, R. J. M., Schiffelers, R. R. H., Beek, van, D. A. & Rooda, J. E., 2008, Eindhoven: Technische Universiteit Eindhoven. 25 blz. (SE report; vol. 2008-08)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
89 Downloads (Pure)

Syntax and consistent equation semantics of hybrid Chi

Beek, van, D. A., Man, K. L., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2004, Eindhoven: Technische Universiteit Eindhoven. 119 blz. (Computer science reports; vol. 0437)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
69 Downloads (Pure)

Syntax and formal semantics of Chi 2.0

Beek, van, D. A., Hofkamp, A. T., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2008, Eindhoven: Technische Universiteit Eindhoven. 62 blz. (SE report; vol. 2008-01)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
41 Downloads (Pure)

Syntax and semantics of timed Chi

Beek, van, D. A., Man, K. L., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2005, Eindhoven: Technische Universiteit Eindhoven. 64 blz. (Computer science reports; vol. 0509)(DCT rapporten; vol. 2005.000)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
32 Downloads (Pure)

Towards a concurrency theory for supervisory control

Baeten, J. C. M., Hulst, van, A. C., Beek, van, D. A. & Markovski, J., 2012, Eindhoven: Technische Universiteit Eindhoven. 38 blz. (SE report; vol. 2012-01)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
40 Downloads (Pure)