• 522 Citaties
19932017

Onderzoeksresultaten per jaar

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

Onderzoeksoutput

Filter
Conferentiebijdrage
2016

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

2 Citaten (Scopus)
5 Downloads (Pure)
2014

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

37 Citaten (Scopus)
8 Downloads (Pure)

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

1 Citaat (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

4 Citaten (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

5 Citaten (Scopus)
2012

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

2 Citaten (Scopus)
2 Downloads (Pure)
2011

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
15 Citaten (Scopus)
58 Downloads (Pure)

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

27 Citaten (Scopus)
2 Downloads (Pure)

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

6 Citaten (Scopus)
1 Downloads (Pure)

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

2010

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

35 Citaten (Scopus)
1 Downloads (Pure)

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

12 Citaten (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

5 Citaten (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

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

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
1 Citaat (Scopus)
77 Downloads (Pure)

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
21 Citaten (Scopus)
263 Downloads (Pure)

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

2 Downloads (Pure)

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

18 Citaten (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

2 Citaten (Scopus)
2008

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

13 Citaten (Scopus)
1 Downloads (Pure)

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

8 Citaten (Scopus)
1 Downloads (Pure)
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

1 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., 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

28 Citaten (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

4 Citaten (Scopus)
2006

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

3 Citaten (Scopus)

Formal verification of Chi models using PHAVer (extended version)

Beek, van, D. A., Man, K. L., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2006, Proceedings of the 5th MATHMOD Conference (Vienna, Austria, February 8-10, 2006), CD-ROM. Troch, I. & Breitenecker, F. (redactie). Vienna: ARGESIM

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Downloads (Pure)

Simulation and verification of hybrid systems using Chi

van Beek, D. A., Rooda, J. E. & Schiffelers, R. R. H., 1 dec 2006, Analysis and design of hybrid systems 2006: a proceedings volume from the 2nd IFAC Conference on Analysis and Design of Hybrid Systems. Cassandras, C. (redactie). Amsterdam: Elsevier, blz. 265-266 2 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)
1 Downloads (Pure)
2005

Verification of timed Chi models using Uppaal

Bortnik, E., Beek, van, D. A., Mortel - Fronczak, van de, J. M. & Rooda, J. E., 2005, Proceedings of the 2nd International Conference on Informatics in Control, Robotics and Automation. Spain, Barcelona, blz. 486-492

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2004

Convex equations and differential inclusions in hybrid systems

Beek, van, D. A., Pogromski, A. Y., Nijmeijer, H. & Rooda, J. E., 2004, 43rd IEEE conference on decision and control : Nassau, Bahamas, 14-17 December 2004. Piscataway: Institute of Electrical and Electronics Engineers, blz. 1424-1429

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)

Formal semantics of hybrid Chi

Schiffelers, R. R. H., Beek, van, D. A., Man, K. L., Reniers, M. A. & Rooda, J. E., 2004, Formal Modeling and Analysis of Timed Systems (First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers). Larsen, K. G. & Niebert, P. (redactie). Berlin: Springer, blz. 151-165 (Lecture Notes in Computer Science; vol. 2791).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

9 Citaten (Scopus)
2003

A hybrid language for modeling, simulation and verification

Schiffelers, R. R. H., Beek, van, D. A., Man, K. L., Reniers, M. A. & Rooda, J. E., 2003, Proceedings 5th IFAC Conference in Analysis and Design of Hybrid Systems (ADHS03, Saint-Malo, France, June 16-18, 2003). Engell, S., Gueguen, H. & Zaytoon, J. (redactie). Elsevier, blz. 235-240

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Modelling and control of process industry batch production systems

Beek, van, D. A., Ham, van, A. & Rooda, J. E., 2003, Proceedings of the 15th IFAC world congress : 21-26 July 2002, Barcelona, Spain . Camacho, E. F. & Basanez, L. (redactie). Oxford: Pergamon, 6 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Open Access
Bestand
6 Citaten (Scopus)
74 Downloads (Pure)

Relating Chi to hybrid automata

Beek, van, D. A., Jansen, N. G., Man, K. L., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2003, Proceedings of the 2003 winter simulation conference : New Orleans, LA, USA, December 7-10, 2003. Vol. 1. Chick, S., Sanchez, P. J., Ferrin, D. & Morrice, D. J. (redactie). Piscataway NJ: Institute of Electrical and Electronics Engineers, blz. 632-640

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)
2002

Hybrid modelling and simulation of pipeless batch plants

Schiffelers, R. R. H., Beek, van, D. A., Meuldijk, J. & Rooda, J. E., 2002, 12th European symposium on computer aided process engineering : The Hague, The Netherlands, 26-29 May 2002. Grievink, J. & van Schijndel, J. (redactie). Amsterdam: Elsevier, (Computer-aided chemical engineering; vol. 10).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Open Access
Bestand
14 Downloads (Pure)
2001

Multi-domain modelling, simulation and control

Beek, van, D. A. & Rooda, J. E., 2001, ADPM 2000 conference proceedings : 4th international congress on automation of mixed processes : hybrid dynamical systems ; Dortmund, September 18-19, 2000. Aachen: Shaker-Verlag, blz. 139-146 (Berichte aus der Automisierungstechnik).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Variables and equations in hybrid systems with structural changes

Beek, van, D. A., 2001, Simulation in industry 2001 ; 13th European simulation symposium 2001, October 18-20, 2001, Marseille, France. Ghent: SCS, blz. 30-34

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2000

Multi-domain modelling, simulation, and control

Beek, van, D. A. & Rooda, J. E., 2000, Proc. 4th International Conference on Automation of Mixed Processes: Hybrid Dynamical Systems. Germany, Dortmund, blz. 139-146

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Substitute equations for index reduction and discontinuity handling

Fabian, G., Beek, van, D. A. & Rooda, J. E., 2000, 3rd MATHMOD, IMACS symposium on mathematical modelling : February 2-4, 2000, Vienna, Austria. Vienna: Vienna University of Technology, blz. 213-217 (ARGESIM Report; vol. 15).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Downloads (Pure)
1999

An experimental facility for nonlinear robot control

Beek, van, D. A. & Jager, de, A. G., 1999, Proceedings of the 1999 IEEE International Conference on Control Applications, 22-27 August, Hawai, USA. Piscataway, NJ: Institute of Electrical and Electronics Engineers, blz. 668-673

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
10 Citaten (Scopus)
80 Downloads (Pure)

Hybrid modelling and simulation of time-delay elements

Beek, van, D. A., Rooda, J. E. & Trienekens, B. J., 1999, Simulation in industry '99 : 11th European Simulation Symposium 1999, ESS '99, October 26 - 28, 1999, Erlangen, Germany. Horton, G., Moeller, D. & Rude, U. (redactie). Ghent: SCS, blz. 88-92

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1998

Integration of the discrete and the continuous behaviour in the hybrid Chi simulator

Fabian, G., Beek, van, D. A. & Rooda, J. E., 1998, Simulation : past, present and future ; 12th European simulation multiconference 1998, ESM '98 ; as part of the 50th anniversary celebrations of the University of Manchester, the home of computing. Zobel, R. N. & Moeller, D. (redactie). San Diego: SCS, blz. 252-257

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Languages and applications in hybrid modelling : positioning of Chi

Beek, van, D. A. & Rooda, J. E., 1998, Information control in manufacturing 1998 : advances in industrial engineering; a proceedings volume from the 9th IFAC Symposium, Nancy-Metz, France, 24-26 June 1998 ; Vol. 1. Morel, G. & Vernadat, F. B. (redactie). Kidlington: Elsevier, blz. 117-122

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

RRR-robot: Validating nonlinear control concepts in an industrial-like, 3 DOF, manipulator

Beek, van, D. A. & Jager, de, A. G., 1998, Proceedings of The Fourth International Conference on Motion and Vibration Control (MOVIC). Schweitzer, G., Siegwart, R. & Cattin, P. (redactie). ETH-Zürich, CH: Institute of Robotics, Vol. 3. blz. 901-906

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

RRR-robot: Validating nonlinear control concepts in an industrial-like, 3 DOF, manipulator

Beek, van, D. A., 1998, Abstracts of the 17th Benelux Meeting on Systems and Control, Mierlo, the Netherlands, March 4-6, 1998. Mierlo, The Netherlands: s.n., blz. 152

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

1 Downloads (Pure)

Semantics of Model Composition in Hybrid Languages

Fabian, G., Beek, van, D. A. & Rooda, J. E., 1998, In Proc. of the 1998 EUROSIM Conference. Helsinki, blz. 269-276

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Sematics of model composition in hybrid languages

Fabian, G., Beek, van, D. A. & Rooda, J. E., 1998, 1998 EUROSIM conference, Helsinki, 1998. Julsin, K. (redactie). s.l.: s.n.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Specification of discontinuities in hybrid models

Beek, van, D. A. & Rooda, J. E., 1998, Automation of mixed processes : hybrid dynamical systems : [papers presented at ADPM '98, the 3rd international conference on the automation of mixed processes, held in Reims, France, March 1998]. Zaytoon, J. (redactie). Paris: Ed. Hermes, blz. 415-420

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Specification of discontinuities in hybrid models = Specification des discontinuites dans les modeles hybries

Beek, van, D. A. & Rooda, J. E., 1998, Hybrid dynamical systems = Les systemes dynamiques hybrides : Proc. of 3rd International Conference on Automation of Mixed Processes. blz. 415-420

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Downloads (Pure)
1997

Design of discrete controllers for continuous systems using hybrid CHI

Beek, van, D. A. & Rooda, J. E., 1997, Computer aided control systems design, CACSD '97 : a proceedings volume from the 7th IFAC symposium, Gent, Belgium, 28-30 April 1997. Boullart, L., Loccufier, M. & Mattsson, S. E. (redactie). Oxford, UK: Pergamon, blz. 9-14

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Open Access
Bestand
74 Downloads (Pure)