| Playing Games with Scenario- and Resource-Aware SDF Graphs Through Policy Iteration |
Y. Yang |
M. Geilen, T. Basten, S. Stuijk, H. Corporaal |
Octopus |
2012 |
DATE 2012 |
System Adaptability |
|
|
| Runtime Verification of Domain-Specific Models of Physical Characteristics in Control Software |
A. de Roo |
H. Sözer, M. Aksit |
Octopus |
2011 |
Fifth International Conference on Secure Software Integration and Reliability Improvement |
System Adaptability |
PDF
|
|
| Performance improvement of a drop-on-demand inkjet printhead using an optimization-based feedforward control method |
Amol A. Khalate |
X. Bombois, R. Babuska, H. Wijshoff, R. Waarsing |
Octopus |
2011 |
Control Engineering Practice 19: 771-781 |
System Adaptability |
PDF
|
|
| Performance improvement of a drop-on-demand inkjet printhead: a feedforward control based approach |
Amol A. Khalate |
X. Bombois, R. Babuska, G. Scorletti, S. Koekebakker, H. Wijshoff, W. de Zeeuw, R. Waarsing |
Octopus |
2011 |
International Conference on Digital Printing Technologies (NIP) |
System Adaptability |
PDF
|
|
| Robust feedforward control for a drop-on-demand inkjet printhead |
Amol A. Khalate |
X. Bombois, G. Scorletti, R. Babuska, R. Waarsing, W. de Zeeuw |
Octopus |
2011 |
18th IFAC World Congress |
System Adaptability |
PDF
|
|
| Drop-On-Demand Inkjet Printhead Performance Improvement Using Robust Feedforward Control |
Amol A. Khalate |
B.Bayon, X. Bombois, G. Scorletti, R. Babuska |
Octopus |
2011 |
50th IEEE Conference on Decision and Control (CDC-2011) |
System Adaptability |
|
|
| Multi-disciplinary system decomposition of complex mechatronics systems |
Hitoshi Komoto |
T. Tomiyama |
Octopus |
2011 |
CIRP Annals - Manufacturing Technology 60 (2011): 191-194 |
System Adaptability |
PDF
|
|
| A Theory of Decomposition in System Architecting |
Hitoshi Komoto |
T. Tomiyama |
Octopus |
2011 |
Proceedings of the 18th International Conference on Engineering Design (ICED11) |
System Adaptability |
PDF
|
|
| The Complexity of Finding kth Most Probable Explanations in Probabilistic Networks |
Johan Kwisthout |
Hans Bodlaender, and Linda van der Gaag |
Octopus |
2011 |
37th International Conference on Current Trends in Theory and Practice of Computer Science. January 22-28, 2011, Novy Smokovec (Slovakia). SOFSEM 2011, LNCS 6543, pp. 356-367, 2011 (Springer, Berlin) |
System Adaptability |
PDF
|
|
| The Computational Complexity of Probabilistic Inference |
Johan Kwisthout |
|
Octopus |
2011 |
Technical Report ICIS--R11003 |
System Adaptability |
PDF
|
|
| Reasoning With Different Time Granularities in Industrial Applications: A Case Study Using CP-logic |
Johan Kwisthout |
Peter J.F. Lucas |
Octopus |
2011 |
Benelux AI Conference (BNAIC'11) |
System Adaptability |
PDF
|
|
| Bayesian Intractability Is Not an Ailment That Approximation Can Cure |
Johan Kwisthout |
Todd Wareham, Iris van Rooij |
Octopus |
2011 |
Cognitive Science 35 (5): 779 - 784 |
System Adaptability |
PDF
|
|
| Robust L2 Control for a Class of Nonlinear Systems: a Parameter Varying Lyapunov Function Approach |
M. Ezzeldin |
S. Weiland, P.P.J. van den Bosch |
Octopus |
2011 |
Proceedings of the 19th Mediterranean Conference on Control and Automation |
System Adaptability |
PDF
|
|
| Inverse-Based Feedforward Control for an Inkjet Printhead |
M. Ezzeldin |
S. Weiland, P.P.J. van den Bosch |
Octopus |
2011 |
2011 American Control Conference |
System Adaptability |
PDF
|
|
| Improving the Performance of an Inkjet Printhead Using Model Predictive Control |
M. Ezzeldin |
S. Weiland, P.P.J. van den Bosch |
Octopus |
2011 |
18th IFAC World Congress |
System Adaptability |
PDF
|
|
| Improving the Printing Quality of an Inkjet Printhead Using MIMO Model Predictive Control. |
M. Ezzeldin |
S. Weiland, P.P.J. van den Bosch |
Octopus |
2011 |
2011 IEEE Multi-conference on Systems and Control |
System Adaptability |
PDF
|
|
| Gain Scheduled Static Output Feedback Tracking Control for a Class of Nonlinear Systems via Takagi-Sugeno Model |
M. Ezzeldin |
S. Weiland, P.P.J. van den Bosch |
Octopus |
2011 |
30th Benelux Meeting on Systems and Control |
System Adaptability |
PDF
|
|
| Integrated Model-Driven Design-Space Exploration for Embedded Systems |
N. Trcka |
M. Hendriks, T. Basten, M. Geilen, L. Somers |
Octopus |
2011 |
International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS XI, Proceedings. Samos, Greece, 18-21 July 2011 |
System Adaptability |
PDF
|
|
| Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets |
N. Trcka |
M. Voorhoeve, T. Basten |
Octopus |
2011 |
Application of Concurrency to System Design, 11th International Conference, ACSD 2011, Proceedings. Kanazawa, Japan, 20-24 June 2011 |
System Adaptability |
PDF
|
|
| Marginalization without Summation Exploiting Determinism in Factor Algebra |
Sander Evers |
Peter J.F. Lucas |
Octopus |
2011 |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 11th European Conference, ECSQARU 2011, Belfast, UK, June 29-July 1, 2011. Proceedings. Lecture Notes in Computer Science 6717 Springer 2011, ISBN 978-3-642-22151-4 |
System Adaptability |
PDF
|
|
| Constructing Bayesian Networks for Linear Dynamic Systems |
Sander Evers |
Peter J.F. Lucas |
Octopus |
2011 |
Bayesian Modelling Applications Workshop |
System Adaptability |
PDF
|
|
| Iteration-based Trade-off Analysis of Resource-aware SDF |
Y. Yang |
M. Geilen, T. Basten, S. Stuijk, H. Corporaal |
Octopus |
2011 |
14th Euromicro Conference On Digital System Design: Architectures, Methods and Tools, DSD 2011 |
System Adaptability |
PDF
|
|
| A Feature Model and Development Approach for Schedulers |
Kardelen Hatun |
Christoph Bockisch, Hasan Sözer, Mehmet Aksit |
Octopus |
2011 |
Workshop on Modularity In Systems Software (MISS 2011) |
System Adaptability |
PDF
|
|
| Optimal control of bilinear systems with time-varying constraints |
C. Cochior |
P. van den Bosch, R. Waarsing, J. Verriet |
Octopus |
2011 |
30th Benelux Meeting on Systems and Control |
System Adaptability |
PDF
|
|
| Intentional communication: Computationally easy or difficult? |
Iris van Rooij |
Johan Kwisthout, Mark Blokpoel, Jakub Szymanik, Todd Wareham, Ivan Toni |
Octopus |
2011 |
Frontiers in Human Neuroscience 5:52 |
System Adaptability |
PDF
|
|
| Ignorance is Bliss: A Complexity Perspective on Adapting Reactive Architectures |
Todd Wareham |
Johan Kwisthout, Pim Haselager, Iris van Rooij |
Octopus |
2011 |
Proceedings of the First IEEE Conference on Development and Learning and on Epiginetic Robotics (ICDL) |
System Adaptability |
PDF
|
|
| The computational costs of recipient design and intention recognition in communication |
Mark Blokpoel |
Johan Kwisthout, Todd Wareham, Pim Haselager, Ivan Toni, and Iris van Rooij |
Octopus |
2011 |
Proceedings of the 33rd Annual Meeting of the Cognitive Science Society |
System Adaptability |
PDF
|
|
| Learning from Multiple Annotators with Gaussian Processes |
Perry Groot |
Adriana Birlutiu, Tom Heskes |
Octopus |
2011 |
Lecture Notes in Computer Science 6792: 159-164 |
System Adaptability |
PDF
|
|
| Multiple-step Time Series Forecasting with Sparse Gaussian Processes |
Perry Groot |
Peter Lucas, Paul van den Bosch |
Octopus |
2011 |
Benelux AI Conference (BNAIC'11) |
System Adaptability |
PDF
|
|
| A simulator for data processing pipelines |
Klemens Schindler |
|
Octopus |
2011 |
Stan Ackermans Institute / Software Technology |
System Adaptability |
|
|
| Identification and feedforward Control of a drop-on-demand inkjet printhead |
Shenxi Ye |
|
Octopus |
2011 |
MSc Thesis, TUDELFT |
System Adaptability |
|
|
| Adding Schedulability Analysis to the Octopus Toolset |
Ajith Kumar |
|
Octopus |
2011 |
Master thesis |
System Adaptability |
PDF
|
|
| Supporting Design-Space Exploration with Synchronous Data Flow Graphs in the Octopus Toolset |
Ashwini Moily |
|
Octopus |
2011 |
Master thesis |
System Adaptability |
PDF
|
|
| VDSEIR A graphical layer on top of the Octopus toolset |
A.M. in 't Groen |
|
Octopus |
2011 |
M.Sc. Thesis |
System Adaptability |
PDF
|
|
| Robust Feedforward Control For a DoD Inkjet Printhead |
Amol A. Khalate |
X. Bombois, R. Babuska, R. Waarsing, W. de Zeeuw, P. Klerken |
Octopus |
2010 |
29th Benelux Meeting on Systems and Control |
System Adaptability |
PDF
|
|
| Optimization-Based Feedforward Control for a Drop-on-Demand Inkjet Printhead |
Amol A. Khalate |
Xavier Bombois, Robert Babuska, Herman Wijshoff and René Waarsing |
Octopus |
2010 |
American Control Conference, Baltimore, July 2010 |
System Adaptability |
PDF
|
|
| Using Bayesian Networks in an Industrial Setting: Making Printing Systems Adaptive |
Arjen Hommersom |
Peter Lucas |
Octopus |
2010 |
Proceedings of the 19th European Conference on Artificial Intelligence (ECAI'10) |
System Adaptability |
PDF
|
|
| Verification of Printer Datapaths using Timed Automata |
Georgeta Igna |
Frits W. Vaandrager |
Octopus |
2010 |
Proceedings 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), 18-20 October 2010 - Amirandes, Heraclion, Crete. LNCS 6416, pp. 412-423, Springer-Verlag, 2010 |
System Adaptability |
PDF
|
|
| Architectural Framework for Energy Optimization in Embedded Systems |
Hasan Sözer |
Arjan De Roo, Mehmet Aksit |
Octopus |
2010 |
ICSE 2010 - Second International Workshop on Software Research and Climate Change - Cape Town, South Africa - 3 May, 2010 |
System Adaptability |
PDF
|
|
| A system architecting tool for mechatronic systems design |
Hitoshi Komoto |
Tetsuo Tomiyama |
Octopus |
2010 |
CIRP Annals - Manufacturing Technology 59 (2010) 171–174 |
System Adaptability |
PDF
|
|
| Computational tool for system architecting |
Hitoshi Komoto |
T. Tomiyama |
Octopus |
2010 |
Proceedings of the ASME 2010 International Design Engineering Technical Conferences &Computers and Information in Engineering Conference - IDETC/CIE 2010 - August 15-18, 2010, Montreal, Quebec, Canada - DETC2010-28683 |
System Adaptability |
PDF
|
|
| Most Probable Explanations in Bayesian Networks: complexity and tractability |
Johan Kwisthout |
|
Octopus |
2010 |
Technical Report ICIS--R10001 |
System Adaptability |
PDF
|
|
| The Necessity of Bounded Treewidth for Efficient Inference in Bayesian Networks |
Johan Kwisthout |
Hans Bodlaender, and Linda van der Gaag |
Octopus |
2010 |
Proceedings of the 19th European Conference on Artificial Intelligence (ECAI'10), August 16-20, Lisbon, Portugal. IOS Press, pp. 237-242, 2010 |
System Adaptability |
PDF
|
|
| Two new notions of abduction in Bayesian networks |
Johan Kwisthout |
|
Octopus |
2010 |
BNAIC 2010, October 25-26, Luxembourg |
System Adaptability |
PDF
|
|
| Two new notions of abduction in Bayesian networks |
Johan Kwisthout |
|
Octopus |
2010 |
Technical Report ICIS--R10005 |
System Adaptability |
PDF
|
|
| Most Probable Explanations in Bayesian Networks: complexity and tractability |
Johan Kwisthout |
|
Octopus |
2010 |
International Journal of Approximate Reasoning 52(9): 1452-1469 |
System Adaptability |
PDF
|
|
| A Parameter Varying Lypaunov Function Approach for Tracking Control for Takagi Sugeno Class of Nonlinear Systems |
M. Ezzeldin |
Andrej Jokic, Paul van den Bosch |
Octopus |
2010 |
Proc. 8th IEEE Int. conference on Control & Automation (ICCA '10). Xiamen, China: IEEE |
System Adaptability |
PDF
|
|
| Model-Free Feedforward Control of Inkjet Printhead |
M. Ezzeldin |
Andrej Jokic, Paul van den Bosch |
Octopus |
2010 |
29th Benelux Meeting on Systems and Control |
System Adaptability |
PDF
|
|
| Model-Free Optimization Based Feedforward Control for an Inkjet Printhead |
M. Ezzeldin |
P.P.J. van den Bosch, A. Jokic, R. Waarsing |
Octopus |
2010 |
Proc. IEEE Multi-Conference on Systems and Control (MSC 2010). Yokohama, Japan |
System Adaptability |
PDF
|
|
| State Transition in Reconfigurable Systems |
Magdalena K. Chmarra |
Jacques Verriet, René Waarsing, Tetsuo Tomiyama |
Octopus |
2010 |
Proceedings of the ASME 2010 International Design Engineering Technical Conferences &Computers and Information in Engineering Conference - IDETC/CIE 2010 - August 15-18, 2010, Montreal, Quebec, Canada - DETC2010-28723 |
System Adaptability |
PDF
|
|
| Parameterized Timed Partial Orders with Resources: Formal Definition and Semantics |
N. Trcka |
M. Voorhoeve, T. Basten |
Octopus |
2010 |
ES Report ESR-2010-01 |
System Adaptability |
PDF
|
|
| Variable elimination by factor indexing |
Sander Evers |
Peter J.F. Lucas |
Octopus |
2010 |
European Workshop on Probabilistic Graphical Models, 13-15 September 2010, Helsinki |
System Adaptability |
PDF
|
|
| Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset |
Twan Basten |
Emiel van Benthum, Marc Geilen, Martijn Hendriks, Fred Houben, Georgeta Igna, Frans Reckers, Sebastian de Smet, Lou Somers and Egbert Teeselink, et al. |
Octopus |
2010 |
Lecture Notes in Computer Science, 2010, Volume 6415/2010, 90-105 |
System Adaptability |
PDF
|
|
| Automated Bottleneck-Driven Design-Space Exploration of Media Processing Systems |
Y. Yang |
M.C.W. Geilen, T. Basten, S. Stuijk, H. Corporaal |
Octopus |
2010 |
DATE 2010, Proceedings. Dresden, Germany, 8-12 March, 2010. IEEE, 2010 |
System Adaptability |
PDF
|
|
| How Action Understanding can be Rational, Bayesian and Tractable |
Mark Blokpoel |
Johan Kwisthout, Theo van der Weide, Iris van Rooij |
Octopus |
2010 |
Proceedings of the 32th Annual Meeting of the Cognitive Science Society |
System Adaptability |
PDF
|
|
| Reduction of Effects of Residual Dynamics and Cross Coupling in Drop-on-Demand Inkjet Printhead |
Rein Brandt |
|
Octopus |
2010 |
MSc Thesis, TUDELFT |
System Adaptability |
|
|
| Design Space Exploration with Generated Timed Automata |
Fred Houben |
|
Octopus |
2010 |
Master thesis |
System Adaptability |
PDF
|
|
| An architectural style for optimizing system qualities in adaptive embedded systems using Multi-Objective Optimization |
A. de Roo |
H. Sözer, M. Aksit |
Octopus |
2009 |
WICSA/ECSA 2009 14-17 Sept. 2009 Page(s):349 - 352 |
System Adaptability |
PDF
|
|
| Improving the performance of a Drop-on-Demand Inkjet Printhead |
Amol A. Khalate |
Xavier Bombois, Robert Babuska |
Octopus |
2009 |
28th Benelux Meeting on Systems and Control, March 16-18, 2009, Spa, Belgium |
System Adaptability |
PDF
|
|
| Optimal experimental design for LPV identification using a local approach |
Amol A. Khalate |
Xavier Bombois, Roland Toth, Robert Babuska |
Octopus |
2009 |
15th IFAC Symposium on System Identification, July 6 - 8, 2009, Saint-Malo, France |
System Adaptability |
PDF
|
|
| Applying Bayesian Networks for Intelligent Adaptable Printing Systems |
Arjen Hommersom |
Peter Lucas, René Waarsing, and Pieter Koopman |
Octopus |
2009 |
Proceedings of 7th Workshop on Intelligent Solutions in Embedded Systems, 2009, Ancona, Italy |
System Adaptability |
PDF
|
|
| Integrating Logical Reasoning and Probabilistic Chain Graphs |
Arjen Hommersom |
Nivea Ferreira, Peter J.F. Lucas |
Octopus |
2009 |
Proceedings of the European Conference on Machine Learning (ECML'2009), 2009, Bled, Slovania |
System Adaptability |
PDF
|
|
| Using timed automata in the design process of printer datapaths |
Georgeta Igna |
|
Octopus |
2009 |
Formal Methods Week 2009, Eindhoven |
System Adaptability |
PDF
|
|
| Using timed automata in the design process of the Oce printer datapaths |
Georgeta Igna |
|
Octopus |
2009 |
IPA Herfstdagen November 26, 2009 |
System Adaptability |
PDF
|
|
| Adaptive Scheduling of Data Paths using Uppaal Tiga |
Israa AlAttili |
Fred Houben, Georgeta Igna, Steffen Michels, Feng Zhu, Frits Vaandrager |
Octopus |
2009 |
Workshop on Quantitative Formal Methods: Theory and Applications (QFM’09) EPTCS 13, 2009 (presentation) |
System Adaptability |
PDF
|
|
| Improved Convergence of MRAC Design for Printing System |
M. Ezzeldin |
P.P.J. van den Bosch, R. Waarsing |
Octopus |
2009 |
Proceeding of the 2009 American control conference |
System Adaptability |
PDF
|
|
| Modeling and Control of Inkjet Printhead |
M. Ezzeldin |
Andrej Jokic, Paul van den Bosch |
Octopus |
2009 |
Proceedings of the 28th Benelux Meeting on Systems and Control, March 16-18, 2009, Spa, Belgium. - Spa : Solcress Seminar Center, 2009. - p. 68-68 |
System Adaptability |
PDF
|
|
| Exploring Trade-offs between Performance and Resource Requirements for Synchronous Dataflow Graphs |
Y. Yang |
M.C.W. Geilen, T. Basten, S. Stuijk, H. Corporaal |
Octopus |
2009 |
7th IEEE Workshop on Embedded Systems for Real-Time Multimedia, ESTIMedia 2009, Proceedings, pages 96-105. Grenoble, France, 15-16 October, 2009 |
System Adaptability |
PDF
|
|
| DSET: Design-Space Exploration Toolset |
Xiaochen Chen |
|
Octopus |
2009 |
Stan Ackermans Institute / Software Technology |
System Adaptability |
|
|
| A Scenario Editor for Design Space Exploration |
Sander van Zuidam |
|
Octopus |
2009 |
Master thesis |
System Adaptability |
PDF
|
|
| Compose*: a Language- and Platform-Independent Aspect Compiler for Composition Filters |
A. de Roo |
M. Hendriks, W. Havinga, P. Dürr, L. Bergmans |
Octopus |
2008 |
First International Workshop on Advanced Software Development Tools and Techniques, WASDeTT 2008 |
System Adaptability |
PDF
|
|
| Formal Modeling and Scheduling of Data Paths of Digital Document Printers |
Georgeta Igna |
Venkatesh Kannan, Yang Yang, Twan Basten, Marc Geilen, Frits Vaandrager, Marc Voorhoeve, Sebastian de Smet, Lou Somers |
Octopus |
2008 |
FORMATS08 |
System Adaptability |
PDF
|
|
| Towards Data Path Analysis Using Uppaal |
Georgeta Igna |
|
Octopus |
2008 |
Formal Methods 2008 |
System Adaptability |
PDF
|
|
| Modularization Method For Adaptable Products |
Lieke Arts |
Magdalena Chmarra, Tetsuo Tomiyama |
Octopus |
2008 |
ASME 2008 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference |
System Adaptability |
PDF
|
|
| Revisiting the Divide and Conquer Strategy to Deal with Complexity in Product Design |
Magdalena K. Chmarra |
Andrés A. Álvarez Cabrera, Thom van Beek, Valentina D’Amelio, Mustafa S. Erden, and Tetsuo Tomiyama |
Octopus |
2008 |
2008 IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications |
System Adaptability |
PDF
|
|
| Towards Adaptable Architecture |
Magdalena K. Chmarra |
Lieke Arts, Tetsuo Tomiyama |
Octopus |
2008 |
ASME 2008 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference |
System Adaptability |
PDF
|
|
| Towards Design-time and Runtime Adaptability |
Magdalena K. Chmarra |
Lieke Arts, Tetsuo Tomiyama |
Octopus |
2008 |
EDIProD' 2008 - Engineering Design in Integrated Product Development |
System Adaptability |
PDF
|
|
| From Probabilistic Horn Logic to Chain Logic |
Nivea Ferreira |
Arjen Hommersom, Peter Lucas |
Octopus |
2008 |
Proceedings of the 20th Belgian-Netherlands Conference on Artificial Intelligence, pages 73-80, 2008 |
System Adaptability |
PDF
|
|
| Formal Modeling and Analysis by Simulation of Data Paths in Digital Document Printers |
V. Kannan |
W.M.P. van der Aalst, and M. Voorhoeve |
Octopus |
2008 |
Proceedings of the Nineth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2008), volume 588 of DAIMI, pages 27-46, Aarhus, Denmark, October 2008. University of Aarhus |
System Adaptability |
PDF
|
|
