• 483 Citaten
19932018
Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Onderzoeksoutput 1993 2018

2018

Model-based design of baggage handling systems

Swartjes, L., 13 sep 2018, Eindhoven: Technische Universiteit Eindhoven. 117 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)Academic

Open Access
Bestand
2017
1 Citaat (Scopus)

Model-based design of supervisory controllers for baggage handling systems

Swartjes, L., van Beek, D. A., Fokkink, W. J. & van Eekelen, J. A. W. M., 1 nov 2017, In : Simulation Modelling Practice and Theory. 78, blz. 28-50 23 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Baggage handling
Model-based Design
Controller
Controllers
Formal Model
2016
2 Citaties (Scopus)

Why is my supervisor empty? : finding causes for the unreachability of states in synthesized supervisors

Swartjes, L., Reniers, M. A., Van Beek, D. A. & Fokkink, W. J., 22 jun 2016, 2016 13th International Workshop on Discrete Event Systems, WODES 2016, 30 May - 1 June, Xián, China. Piscataway: Institute of Electrical and Electronics Engineers, blz. 14-21 8 blz. Mo_1_A.3

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Supervisory personnel
Synthesis
Supervisory Control
Predicate
Color
2015

Coordination control of complex machines

Baeten, J. C. M., Beek, van, D. A., Markovski, J. & Somers, L. J. A. M., 2015, Coordination Control of Distributed Systems. Schuppen, van, J. H. & Villa, T. (redactie). Cham: Springer, blz. 61-68 (Lecture Notes in Control and Information Sciences; vol. 456)

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Supervisory personnel
Systems engineering
Large scale systems

Supervisory control in health care systems

Theunissen, R. J. M., 2015, Eindhoven: Technische Universiteit Eindhoven. 117 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)Academic

Open Access
Bestand
2014
21 Citaties (Scopus)

Application of supervisory control synthesis to a patient support table of a magnetic resonance imaging scanner

Theunissen, R. J. M., Petreczky, M., Schiffelers, R. R. H., Beek, van, D. A. & Rooda, J. E., 2014, In : IEEE Transactions on Automation Science and Engineering. 11, 1, blz. 20-32 13 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Magnetic resonance
Imaging techniques
Controllers
Industry
Real time control
30 Citaties (Scopus)

CIF 3 : model-based engineering of supervisory controllers

Beek, van, D. A., Fokkink, W. J., Hendriks, D., Hofkamp, A. T., Markovski, J., Mortel - Fronczak, van de, J. M. & Reniers, M. A., 2014, Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. Abraham, E. & Havelund, K. (redactie). Berlin: Springer, blz. 575-580 (Lecture Notes in Computer Science; vol. 8413)

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Controllers
Interchanges
Visualization
Testing
Code generation
1 Citaat (Scopus)

Control of input/output discrete-event systems

Petreczky, M., Theunissen, R. J. M., Su, R., Van Beek, D. A., van Schuppen, J. H. & Rooda, J. E., 26 mrt 2014, 2009 European Control Conference, ECC 2009. Institute of Electrical and Electronics Engineers, blz. 1967-1972 6 blz. 7074692

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Discrete event simulation
Controllers
Transducers
3 Citaties (Scopus)

Supervisory control synthesis for a patient support system

Theunissen, R. J. M., Schiffelers, R. R. H., Van Beek, D. A. & Rooda, J. E., 26 mrt 2014, Proceedings of 10th European Control Conference (ECC'09), 23-26 August 2009, Budapest, Hungary. Piscataway: Institute of Electrical and Electronics Engineers, blz. 4647-4652 6 blz. 7075134

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Supervisory personnel
Control theory
Controllers
Interchanges
Hardware
4 Citaties (Scopus)

Towards the removal of synchronous behavior of events in automata

Swartjes, L., Van Beek, D. A. & Reniers, M. A., 2014, 12th IFAC/IEEE Workshop on Discrete Event Systems, WODES 2104. blz. 188-194 7 blz. (IFAC Proceedings Volumes; vol. 47, nr. 2)

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Computer programming languages
Specifications
Controllers
2013
12 Citaties (Scopus)

Syntax and semantics of the compositional interchange format for hybrid systems

Nadales Agut, D. E., Beek, van, D. A. & Rooda, J. E., 2013, In : Journal of Logic and Algebraic Programming. 82, 1, blz. 1-52 52 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Interchanges
Hybrid systems
Hybrid Systems
Semantics
Operator
2012

A compositional interchange format for hybrid systems : design and implementation

Nadales Agut, D. E., 2012, Eindhoven: Technische Universiteit Eindhoven. 225 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)Academic

Open Access
Bestand
Interchanges
Hybrid systems
Semantics
Systems analysis
Specifications
8 Citaties (Scopus)

Improving evolvability of a patient communication control system using state-based supervisory control synthesis

Theunissen, R. J. M., Beek, van, D. A. & Rooda, J. E., 2012, In : Advanced Engineering Informatics. 26, 3, blz. 502-515 14 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Control systems
Communication
Specifications
Controllers
Supervisory personnel
2 Citaties (Scopus)

Partially-supervised plants : embedding control requirements in plant components

Markovski, J., Beek, van, D. A. & Baeten, J. C. M., 2012, Integrated Formal Methods (9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings). Derrick, J., Gnesi, S., Latella, D. & Treharne, H. (redactie). Berlin: Springer, blz. 253-267 (Lecture Notes in Computer Science; vol. 7321)

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Specifications
Controllers
Magnetic resonance imaging

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
Controllability
Supervisory personnel
Semantics
Feedback
Communication
2011
15 Citaties (Scopus)

A process algebra for supervisory coordination

Baeten, J. C. M., Beek, van, D. A., Hulst, van, A. C. & Markovski, J., 2011, Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011, Reykjavik, Iceland, June 9, 2011). Aceto, L. & Mousavi, M. R. (redactie). EPTCS, blz. 36-55 (Electronic Proceedings in Theoretical Computer Science; vol. 60)

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
Algebra
Supervisory personnel
Controllers
Machine components
Programmable logic controllers
27 Citaties (Scopus)

A process-theoretic approach to supervisory control theory

Baeten, J. C. M., Beek, van, D. A., Luttik, S. P., Markovski, J. & Rooda, J. E., 2011, Proceedings of the 2011 American Control Conference (ACC 2011, San Francisco CA, USA, June 29-July 1, 2011). Piscataway: Institute of Electrical and Electronics Engineers, blz. 4496-4501

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Preorder
Control theory
Controllability
Supervisors
Observability
6 Citaties (Scopus)

A semantic-preserving transformation from the compositional interchange format to UPPAAL

Nadales Agut, D. E., Reniers, M. A., Schiffelers, R. R. H., Jorgensen, K. E. & Beek, van, D. A., 2011, Proceedings of the 18th IFAC World Congress, 28 August - 2 September 2011, Milano, Italy. Bittanti, S., Cenedese, A. & Zampieri, S. (redactie). blz. 12496-12502

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Interchanges
Semantics
Model checking
Hybrid systems
Linearization

The hierarchical compositional interchange format

Nadales Agut, D. E., Beek, van, D. A., Beohar, H., Cuijpers, P. J. L. & Fonteijn, J., 2011, Proceedings of the Formal Methods for Components and Objects (FMCO 2011), 29 November - 1 December 2011, Graz, Austria. Aichering, B. K., Boer, de, F. S. & Bonsangue, M. M. (redactie). Berlin: Springer, blz. 316-335 (Lecture Notes in Computer Science; vol. 6957)

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Interchanges
Semantics
Syntactics
Computer science
Chemical analysis
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 blz. (SE report; vol. 2010-06)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
Magnetic resonance imaging
Controllers
Control theory
Hardware
Experiments
32 Citaties (Scopus)

A state-based framework for supervisory control synthesis and verification

Markovski, J., Beek, van, D. A., Theunissen, R. J. M., Jacobs, K. G. M. & Rooda, J. E., 2010, Proceedings of the 49th IEEE Conference on Decision and Control (CDC 2010) 15-17 december 2010, Atlanta, GA, USA. Institute of Electrical and Electronics Engineers, blz. 3481-3486

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Supervisory personnel
Specifications
Feedback
4 Citaties (Scopus)

Coordination of resources using generalized state-based requirements

Markovski, J., Jacobs, K. G. M., Beek, van, D. A., Somers, L. J. A. M. & Rooda, J. E., 2010, WODES 2010, 10th International Workshop on Discrete Event Systems (Berlin, Germany, August 30-September 1, 2010). Germany, Berlin, blz. 300-305

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Controllers
4 Citaties (Scopus)

Hierarchical states in the compositional interchange format

Beohar, H., Nadales Agut, D. E., Beek, van, D. A. & Cuijpers, P. J. L., 2010, Seventh Workshop on Structural Operational Semantics (SOS'10, Paris, France, August 30, 2010). Aceto, L. & Sobocinski, P. (redactie). blz. 42-56 (Electronic Proceedings in Theoretical Computer Science; vol. 32)

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Interchanges
Hybrid systems
Semantics
Specification languages
Simulators

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
5 Citaties (Scopus)

Reconciling urgency and variable abstraction in a hybrid compositional setting

Beek, van, D. A., Cuijpers, P. J. L., Markovski, J., Nadales Agut, D. E. & Rooda, J. E., 2010, Formal Modeling and Analysis of Timed Systems (8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings). Chatterjee, K. & Henzinger, T. A. (redactie). Berlin: Springer, blz. 47-61 (Lecture Notes in Computer Science; vol. 6246)

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Hybrid systems
Trajectories
Clocks
Semantics
Chemical analysis

Supervisory control synthesis in the medical domain

Theunissen, R. J. M., Schiffelers, R. R. H., Beek, van, D. A. & Rooda, J. E., 2010, Views on Evolvability of Embedded Systems. Laar, van de, P. & Punter, T. (redactie). Embedded systems: Springer, blz. 171-191

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Interchanges
Hybrid systems
Control theory
Magnetic resonance imaging
Hardware
2009

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., 2009, 10th European Control Conference (ECC'09), 23-26 August 2009, Budapest, Hungary. blz. 1-6

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Discrete event simulation
Controllers
Transducers
1 Citaat (Scopus)

Hybrid Modeling and Simulation of plant/controller Combinations

Schiffelers, R. R. H., Pogromski, A. Y., Beek, van, D. A. & Rooda, J. E., 2009, 3rd IEEE Multi-conference on Systems and Control. Piscataway: Institute of Electrical and Electronics Engineers, blz. 1384-1390

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
Controllers
Simulators
Specifications

Interchange formats and tool integration

Beek, van, D. A., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2009, Handbook of hybrid systems control : theory, tools, applications. Lunze, J. & Lamnabhi-Lagarrigue, F. (redactie). New York: Cambridge University Press, blz. 361-374

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Interchanges
21 Citaties (Scopus)

Model-Based Engineering of Supervisory Controllers using CIF

Schiffelers, R. R. H., Theunissen, R. J. M., Beek, van, D. A. & Rooda, J. E., 2009, Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling (MPM 2009). Levendovsky, T. & Lengyel, L. (redactie). blz. 1-10 (Electronic Communications of the EASST; vol. 21)

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
Controllers
Control theory
Magnetic resonance imaging
Interchanges
Hybrid systems

Modeling and simulation using the compositional interchange format for hybrid systems

Sonntag, C. L. W., Schiffelers, R. R. H., Beek, van, D. A., Rooda, J. E. & Engell, S., 2009, Proceedings MATHMOD 09 Vienna. Troch, I. & Breitenecker, F. (redactie). Austria, Vienna, (ARGESIM Report; vol. 35)

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Interchanges
Hybrid systems
Refrigeration
Interoperability
Visualization
17 Citaties (Scopus)

New concepts in the abstract format of the compositional interchange format

Beek, van, D. A., Collins, P., Nadales Agut, D. E., Rooda, J. E. & Schiffelers, R. R. H., 2009, Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 16-18 September 2009, Zaragoza, Spain. blz. 1-7

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Interchanges
Semantics
Hybrid systems
Interoperability
Chemical analysis

Overview of tools development and open problems

Beek, van, D. A. & Engell, S., 2009, Handbook of hybrid systems control : theory, tools, applications. Lunze, J. & Lamnabhi-Lagarrigue, F. (redactie). New York: Cambridge University Press, blz. 279-283

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

2 Citaties (Scopus)

Sampled-data control of hybrid systems with discrete inputs and outputs

Petreczky, M., Collins, P., Beek, van, D. A., Schuppen, van, J. H. & Rooda, J. E., 2009, Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS09), 16-18 September 2009, Zaragoza, Spain. Spain, Zaragoza

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Hybrid systems
Sampling
Closed loop systems
Acoustic waves
Controllers

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

Controllers
Control theory
Printing
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 blz. (SE report; vol. 2008-13)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
Hybrid systems
Finite automata
Closed loop systems
Acoustic waves
Sampling

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
13 Citaties (Scopus)

Concrete syntax and semantics of the compositional interchange format for hybrid systems

Beek, van, D. A., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2008, Proceedings of the 17th IFAC World Congress (IFAC'08) July 11-16, 2008, Seoul, Korea. Cho, H. (redactie). Seoul: International Federation of Automatic Control, blz. accepted-

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Interchanges
Hybrid systems
Semantics
Concretes
Bottles

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
Discrete event simulation
Controllers
Transducers
7 Citaties (Scopus)

Model-based engineering of embedded systems using the hybrid process algebra Chi

Baeten, J. C. M., Beek, van, D. A., Cuijpers, P. J. L., Reniers, M. A., Rooda, J. E., Schiffelers, R. R. H. & Theunissen, R. J. M., 2008, Proceedings LIX Colloquium on Emerging Trends in Concurrency Theory (Paris, France, November 13-15, 2006). Palamidessi, C. & Valencia, F. D. (redactie). blz. 21-53 (Electronic Notes in Theoretical Computer Science; vol. 209)

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Hybrid systems
Embedded systems
Algebra
Set theory
Linearization

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
Supervisory personnel
Control theory
Computer program listings
Finite automata

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
Supervisory personnel
Interchanges
Hardware
Controllers
Magnetic Resonance Imaging

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
Semantics
Differential equations
Labels
Chemical analysis
Concretes
2007

Co-simulation of Chi and Simulink models

Beek, van, D. A., Hofkamp, A. T., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2007, Proceedings of the 6th EUROSIM Congress on Modelling and Simulation, 9-13 September 2007, Ljubljana, Slovenia. blz. 1-10

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Bottles
Algebra
28 Citaties (Scopus)

Foundations of a compositional interchange format for hybrid systems

Beek, van, D. A., Reniers, M. A., Schiffelers, R. R. H. & Rooda, J. E., 2007, Proceedings of the 10th International Workshop on Hybrid Systems : Computation and Control (HSCC 2007) 3-5 April 2007, Pisa, Italy. Bemporad, A., Bicchi, A., Buttazzo, G. & Buttazzo, G. C. (redactie). Berlin: Springer, blz. 587-600 (Lecture Notes in Computer Science; vol. 4416)

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Interchanges
Hybrid systems
Differential equations
Semantics
Chemical analysis

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

Process algebra

Baeten, J. C. M., Beek, van, D. A. & Rooda, J. E., 2007, Handbook of Dynamic System Modeling. Fishwick, P. A. (redactie). Boca Raton: Chapman & Hall/CRC Press, blz. 19.1-19.19 (Chapman&Hall/CRC Computer and Information Science Series)

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

4 Citaties (Scopus)

Relating Hybrid Chi to other formalisms

Beek, van, D. A., Rooda, J. E., Schiffelers, R. R. H., Man, K. L. & Reniers, M. A., 2007, Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference (IFM 2005) 29 November 2005, Eindhoven, The Netherlands. Romijn, J., Smith, G. & Pol, van de, J. (redactie). blz. 85-113 (Electronic Notes in Theoretical Computer Science; vol. 191)

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Water levels
Continuous time systems
Hybrid systems
Control theory
Computer science
2006
3 Citaties (Scopus)

Deriving simulators for hybrid Chi models

Beek, van, D. A., Man, K. L., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2006, Proceedings 2006 IEEE International Symposium on Computer-Aided Control Systems Design (CACSD, Munich, Germany, October 4-6, 2006). Institute of Electrical and Electronics Engineers, blz. 42-49

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Simulators
Semantics
Hybrid systems
Computer simulation

Formal specification and analysis of hybrid systems

Man, K. L. & Schiffelers, R. R. H., 2006, Eindhoven: Technische Universiteit Eindhoven. 249 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)Academic

Open Access
Bestand