• 506 Citations
19932017

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Report
2012

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 p. (SE report; vol. 2012-01)

Research output: Book/ReportReportAcademic

Open Access
File
39 Downloads (Pure)
2010

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 p. (SE report; vol. 2010-06)

Research output: Book/ReportReportAcademic

Open Access
File
75 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 p. (SE report; vol. 2010-04)

Research output: Book/ReportReportAcademic

Open Access
File
33 Downloads (Pure)
2009

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 p. (SE report; vol. 2009-06)

Research output: Book/ReportReportAcademic

4 Downloads (Pure)
2008

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 p. (SE report; vol. 2008-13)

Research output: Book/ReportReportAcademic

Open Access
File
30 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 p. (SE report; vol. 2008-02)

Research output: Book/ReportReportAcademic

Open Access
File
58 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 p. (SE report; vol. 2008-12)

Research output: Book/ReportReportAcademic

Open Access
File
91 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 p. (SE report; vol. 2008-11)

Research output: Book/ReportReportAcademic

Open Access
File
33 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 p. (SE report; vol. 2008-08)

Research output: Book/ReportReportAcademic

Open Access
File
84 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 p. (SE report; vol. 2008-01)

Research output: Book/ReportReportAcademic

Open Access
File
39 Downloads (Pure)
2007

Linearization of hybrid Chi using program counters

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

Research output: Book/ReportReportAcademic

Open Access
File
27 Downloads (Pure)
2006

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 p. (Computer science reports; vol. 0633)

Research output: Book/ReportReportAcademic

Open Access
File
68 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 p. (SE report; vol. 2006-05)

Research output: Book/ReportReportAcademic

Open Access
File
73 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 p. (Computer science reports; vol. 0603)

Research output: Book/ReportReportAcademic

Open Access
File
39 Downloads (Pure)
2005

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 p. (Computer science reports; vol. 0509)(DCT rapporten; vol. 2005.000)

Research output: Book/ReportReportAcademic

Open Access
File
30 Downloads (Pure)
2004

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 p. (Computer science reports; vol. 0437)

Research output: Book/ReportReportAcademic

Open Access
File
64 Downloads (Pure)