Ramon R.H. Schiffelers
Ramon R.H. Schiffelers
Verifierad e-postadress på tue.nl
Titel
Citeras av
Citeras av
År
Syntax and consistent equation semantics of hybrid Chi
DA van Beek, KL Man, MA Reniers, JE Rooda, RRH Schiffelers
The Journal of Logic and Algebraic Programming 68 (1-2), 129-210, 2006
1792006
Foundations of a compositional interchange format for hybrid systems
DA van Beek, MA Reniers, RRH Schiffelers, JE Rooda
International Workshop on Hybrid Systems: Computation and Control, 587-600, 2007
632007
Formal specification and analysis of hybrid systems
KL Man, RRH Schiffelers
Eindhoven University of Technology, 2006
622006
Application of supervisory control synthesis to a patient support table of a magnetic resonance imaging scanner
RJM Theunissen, M Petreczky, RRH Schiffelers, DA van Beek, JE Rooda
IEEE Transactions on Automation Science and Engineering 11 (1), 20-32, 2013
402013
Concrete syntax and semantics of the compositional interchange format for hybrid systems
DA van Beek, MA Reniers, JE Rooda, RRH Schiffelers
IFAC Proceedings Volumes 41 (2), 7979-7986, 2008
362008
Model-based engineering of supervisory controllers using CIF
RRH Schiffelers, RJM Theunissen, DA Van Beek, JE Rooda
Electronic Communications of the EASST 21, 2010
342010
Supervisory control synthesis for a patient support system
RJM Theunissen, RRH Schiffelers, DA Van Beek, JE Rooda
2009 European Control Conference (ECC), 4647-4652, 2009
342009
New concepts in the abstract format of the compositional interchange format
DA van Beek, P Collins, DE Nadales, JE Rooda, RRH Schiffelers
IFAC Proceedings Volumes 42 (17), 250-255, 2009
342009
Syntax and semantics of timed Chi
DA Van Beek, KL Man, MA Reniers, JE Rooda, RRH Schiffelers
Computer Science Reports, 05-09, 2005
292005
Model-based specification, analysis and synthesis of servo controllers for lithoscanners
RRH Schiffelers, W Alberts, JPM Voeten
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 55-60, 2012
282012
Modeling and simulation using the compositional interchange format for hybrid systems
C Sonntag, RRH Schiffelers, DA van Beek, JE Rooda, S Engell
International Conference on Mathematical Modelling (MATHMOD), 640-650, 2009
272009
Chi 1.0 reference manual
AT Hofkamp, JE Rooda, RRH Schiffelers, DA van Beek
Systems Engineering Report, Eindhoven (August 2007) http://se. wtb. tue. nl …, 2007
272007
Formal semantics of hybrid Chi
RRH Schiffelers, DA Van Beek, KL Man, MA Reniers, JE Rooda
International Conference on Formal Modeling and Analysis of Timed Systems …, 2003
242003
Modular model-based supervisory controller design for wafer logistics in lithography machines
B van der Sanden, M Reniers, M Geilen, T Basten, J Jacobs, J Voeten, ...
2015 ACM/IEEE 18th International Conference on Model Driven Engineering …, 2015
202015
Assessing and improving quality of QVTo model transformations
CM Gerpheide, RRH Schiffelers, A Serebrenik
Software Quality Journal 24 (3), 797-834, 2016
192016
Fast multiprocessor scheduling with fixed task binding of large scale industrial cyber physical systems
S Adyanthaya, M Geilen, T Basten, R Schiffelers, B Theelen, J Voeten
2013 Euromicro Conference on Digital System Design, 979-988, 2013
182013
Robustness analysis of multiprocessor schedules
S Adyanthaya, Z Zhang, M Geilen, J Voeten, T Basten, R Schiffelers
2014 International Conference on Embedded Computer Systems: Architectures …, 2014
152014
Compositional specification of functionality and timing of manufacturing systems
B van der Sanden, J Bastos, J Voeten, M Geilen, M Reniers, T Basten, ...
2016 Forum on Specification and Design Languages (FDL), 1-8, 2016
132016
Model-based engineering of embedded systems using the hybrid process algebra Chi
JCM Baeten, DA van Beek, PJL Cuijpers, MA Reniers, JE Rooda, ...
Electronic Notes in Theoretical Computer Science 209, 21-53, 2008
132008
A semantic-preserving transformation from the Compositional Interchange Format to UPPAAL
DEN Agut, MA Reniers, RRH Schiffelers, KY Jørgensen, DA Van Beek
IFAC Proceedings Volumes 44 (1), 12496-12502, 2011
122011
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20