Faculty of Electrical Engineering, Mathematics & Computer Science

Research Output 1967 2019

Filter
Chapter
2017
195 Downloads (Pure)

Discretization of Continuous Dynamical Systems Using UPPAAL

Schivo, S. & Langerak, R., 27 Sep 2017, ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Katoen, J-P., Langerak, R. & Rensink, A. (eds.). Springer, p. 297-315 19 p. (Lecture Notes in Computer Science; vol. 10500).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
Dynamical systems
Differential equations
Model checking

Effect of Providing Ankle-Foot Orthoses in Patients with Acute and Subacute Stroke: a Randomized Controlled Trial: A randomized controlled trial

Nikamp-Simons, C. D. M., Buurke, J. H., Van Der Palen, J., Hermens, H. J. & Rietman, J. S., 2017, Converging Clinical and Engineering Research on Neurorehabilitation II: Proceedings of the 3rd International Conference on NeuroRehabilitation (ICNR2016), October 18-21, 2016, Segovia, Spain. Ibánez, J., Azorín, J. M., Akay, M. & Pons, J. L. (eds.). Cham, Switserland: Springer, Vol. 15. p. 305-309 5 p. (Biosystems & Biorobotics; vol. 15).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

1 Downloads (Pure)

Highlights in mechatronic design approaches

Dertien, E. C. & Stramigioli, S., 2017, Advanced Mechatronics and MEMS Devices II. Zangh, D. & Wei, B. (eds.). Switzerland: Springer, p. 41-59 19 p. (Microsystems and Nanosystems).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

2 Downloads (Pure)

How much are your geraniums? Taking graph conditions beyond first Order

Rensink, A., 2017, ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Katoen, J-P., Langerak, R. & Rensink, A. (eds.). Springer, Vol. 10500 LNCS. p. 191-213 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10500 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

First-order Logic
First-order
Graph in graph theory
Operator
Graph Transformation

iDSL: Automated Performance Evaluation of Service-Oriented Systems

van den Berg, F. G. B., Haverkort, B. R. H. M. & Hooman, J., 27 Sep 2017, ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Langerak, R. & Rensink, A. (eds.). Springer, (Lecture Notes in Computer Science; vol. 10500).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Image processing
X rays

Laughter

Trouvain, J. & Truong, K. P., 2017, The Routledge Handbook of Language and Humor. Attardo, S. (ed.). New York, NY: Routledge, p. 340-355 (Routledge Handbooks in Linguistics).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Laughter
Public Opinion
Phonetics
Linguistics
Research

Microfluidic Platform for Parallel Single Cell Analysis for Diagnostic Applications

le Gac, S., 2017, Microchip Diagnostics. Taly, V., Descroix, S. & Viovy, J-L. (eds.). Springer, p. 187-209 (Methods in Molecular Biology; vol. 1547).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Microfluidics
Cells
Biomarkers
Cell membranes
Medicine
1 Downloads (Pure)

Mischief Humor in Smart and Playable Cities

Nijholt, A., 2017, Playable Cities: The City as a Digital Playground. Nijholt, A. (ed.). Singapore: Springer, p. 235-253 20 p. (Gaming Media and Social Effects).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Demonstrations
Smart city
96 Downloads (Pure)

N-Gram models

Hiemstra, D., 2017, Encyclopedia of Database Systems. Liu, L. & Tamer Özsu, M. (eds.). New York: Springer, 1 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

File
1 Citation (Scopus)
1 Downloads (Pure)

On the Grand 4R Four-Bar Based Inherently Balanced Linkage Architecture

van der Wijk, V., 2017, New Trends in Mechanism and Machine Science: Theory and Industrial Applications. Wenger, P. & Flores, P. (eds.). Springer, p. 473-480 (Mechanisms and machine science; vol. 43, no. 43).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Machinery
Kinematics
6 Downloads (Pure)

Preface

Nijholt, A., 2017, Playable Cities: The City as a Digital Playground . Springer, p. vii-viii (Gaming Media and Social Effects).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
1 Downloads (Pure)

Requirements, design and pilot study of a physical activity activation system using virtual communities

Elloumi, L., Meijerink, M., van Beijnum, B. J. F. & Hermens, H. J., 4 Mar 2017, Biomedical Engineering Systems and Technologies. Fred, A. & Gamboa, H. (eds.). Springer, p. 405-425 21 p. (Communications in Computer and Information Science; vol. 690).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

7 Citations (Scopus)
3 Downloads (Pure)

RoVi: Continuous transport infrastructure monitoring framework for preventive maintenance

Seraj, F., Meratnia, N. & Havinga, P. J. M., 2 May 2017, 2017 IEEE International Conference on Pervasive Computing and Communications, PerCom 2017. IEEE, p. 217-226 10 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Preventive maintenance
Smartphones
Monitoring
Surface roughness
Asset management
1 Citation (Scopus)

Smart charging of electric vehicles

Kempker, P. L., van Dijk, N. M., Scheinhardt, W., van den Berg, H. & Hurink, J., 2017, Markov Decision Processes in Practice. Boucherie, R. J. & van Dijk, N. M. (eds.). Cham: Springer, p. 387-404 18 p. (International Series in Operations Research & Management Science; vol. 248).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Electric Vehicle
Stochastic Dynamic Programming
Real-time Control
Bidding
Energy

Stochastic dynamic programming for noise load management

Meerburg, T. R., Boucherie, R. & van Kraaij, M. J. A. L., 2017, Markov Decision Processes in Practice. Boucherie, R. J. & van Dijk, N. (eds.). Cham: Springer, p. 321-335 15 p. (International Series in Operations Research & Management Science; vol. 248).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Dynamic programming
Airports
Aviation
Load limits
Cones
1 Citation (Scopus)
10 Downloads (Pure)

Stratified breast cancer follow-up using a partially observable Markov decision process

Otten, J. W. M., Witteveen, A., Vliegen, I., Siesling, S., Timmer, J. B. & IJzerman, M. J., Mar 2017, Markov Decision Processes in Practice. Boucherie, R. J. & van Dijk, N. (eds.). Cham: Springer, p. 223-244 22 p. (International Series in Operations Research & Management Science; vol. 248).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Markov Chains
Mammography
Breast Neoplasms
Neoplasms
Quality-Adjusted Life Years
35 Downloads (Pure)

Testing Divergent Transition Systems

Brinksma, E., Stoelinga, M. & Timmer, M., 25 Jul 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Aceto, L., Bacci, G., Bacci, G., Ingolfsdottir, A., Legay, A. & Mardare, R. (eds.). Springer, p. 339 366 p. (Lecture Notes in Computer Science; vol. 10460).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
Testing
Automata theory
Specifications

The Road from Stochastic Automata to the Simulation of Rare Events

Budde, C. E., D'Argenio, P. R., Monti, R. E., Lee, M. D., Rodríguez, L. & Wolovick, N., 2017, ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Langerak, R., Katoen, J-P. & Rensink, A. (eds.). Vol. LNCS. p. 276-294 19 p. (Lecture Notes in Computer Science; vol. 10500).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

roads
simulation
output
3 Downloads (Pure)

The role of tangibility and iconicity in collaborative modelling tasks

Ionita, D., Nazareth, D. S., Vasenev, A., van der Velde, F. & Wieringa, R., 9 Nov 2017, Proceedings of the ER Forum 2017 and the ER 2017 Demo track. Cabanillas, C., España, S. & Farshidi, S. (eds.). CEUR-WS.org, p. 1-14 14 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
stakeholder
modeling
experiment
participation
1 Downloads (Pure)

Towards Playful and Playable Cities

Nijholt, A., 2017, Playable Cities: The City as a Digital Playground. Nijholt, A. (ed.). Singapore: Springer, p. 1-20 20 p. (Gaming Media and Social Effects).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Actuators
Economics
Smart city
Sensors
2016
1 Downloads (Pure)

A real-rime target tracking algorithm for a robotic flexible endoscopy platform

van der Stap, N., Voskuilen, L., de Jong, G., Pullens, H. J. M., Schwartz, M. P., Broeders, I. A. M. J. & van der Heijden, F., 2016, Computer-Assisted and Robotic Endoscopy: Second International Workshop, CARE 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Revised Selected Papers. Luo, X., Reichl, T., Reiter, A. & Mariottini, G. L. (eds.). Springer, p. 81-89 9 p. (Lecture Notes in Computer Science; vol. 9515).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Bezettingsgraad

Berrevoets, L., van de Vrugt, M. & de Vries, G., 23 Aug 2016, Capaciteitsplanning in de zorg. Berden, B., Berrevoets, L. & Winasti, W. (eds.). Houten: Bohn Stafleu Van Loghum, p. 157-175

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

Mate

Bi-layer dictionary learning for remote sensing image classification

Yang, Y., Al-Shaikhli, S., Jiang, T., Cao, Y. & Rosenhahn, B., 2016, Proceedings of International Geoscience and Remote Sensing Symposium (IGARSS) : Advancing the understanding of our living planet, 10-15 July 2016, Beijing, China. Wasington, D.C.: IEEE, p. 3059-3062 (IGARSS; no. 2016).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

4 Downloads (Pure)

Computational matter: evolving computational functions in nanoscale materials

Broersma, H. J., Miller, J. F. & Nichele, S., 2016, Advances in Unconventional Computing, Volume 2: Prototypes, Models and Algorithms. Adamatzky, A. (ed.). London: Springer, p. 397-428 32 p. (Emergence, Complexity and Computation; vol. 23, no. 23).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

3 Citations (Scopus)
3 Downloads (Pure)

Formal specification with the Java modeling language

Huisman, M., Ahrendt, W., Grahl, D. & Hentschel, M., Dec 2016, Deductive Software Verification – The KeY Book. Ahrendt, W., Beckert, B., Bubel, R., Hähnle, R., Schmitt, P. H. & Ulbrich, M. (eds.). London: Springer, p. 193-241 49 p. (Lecture Notes in Computer Science; vol. 10001).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

File
3 Citations (Scopus)

Humor Engineering in Smart Environments

Nijholt, A., 16 Jun 2016, Emotional Engineering Volume 4. Fukuda, S. (ed.). Cham, Switzerland: Springer, p. 37-57 21 p. (Emotional Engineering; vol. 4).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

2 Citations (Scopus)
2 Downloads (Pure)

Hypothesis testing for rare-event simulation: limitations and possibilities

Reijsbergen, D. P., de Boer, P-T. & Scheinhardt, W. R. W., 10 Oct 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Springer, p. 16-26 11 p. (Lecture Notes in Computer Science; vol. 9952).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Rare Event Simulation
Importance Sampling
Hypothesis Testing
Model Checking
Statistical Model

Model checking two layers of mean-field models

Kolesnichenko, A. V., Remke, A. K. I., de Boer, P-T. & Haverkort, B. R. H. M., Apr 2016, Principles of Performance and Reliability Modeling and Evaluation - Essays in Honor of Kishor Trivedi on his 70th Birthday. Fiondella, L. & Puliafito, A. (eds.). London: Springer, p. 341-369 29 p. (Springer series in reliability engineering).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2 Citations (Scopus)
10 Downloads (Pure)

Model Patterns - The Quest for the Right Level of Abstraction

Rensink, A., Sep 2016, Transactions on Foundations for Mastering Change I. Steffen, B. (ed.). Berlin: Springer, p. 47-70 24 p. (Lecture Notes in Computer Science; vol. 9960, no. 9960).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

File
2 Downloads (Pure)

Preface (to Playable Cities)

Nijholt, A., Jul 2016, Playable Cities: The City as a Digital Playground. Nijholt, A. (ed.). Singapore: Springer, p. vii-viii 2 p. (Gaming Media and Social Effects).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Smart city
Actuators
Sensors

project SENSE: multimodal simulation with full-body real-time verbal and nonverbal interactions

Miri, H., Kolkmeier, J., Taylor, P. J., Poppe, R. & Heylen, D., 15 Nov 2016, Intelligent Technologies for Interactive Entertainment: 8th International Conference, INTETAIN 2016, Utrecht, The Netherlands, June 28-30, 2016. Poppe, R., Meyer, J-J., Veltkamp, R. & Dastani, M. (eds.). Cham: Springer, p. 279-284 6 p. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; vol. 178).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Virtual reality
Hardware
Communication
86 Downloads (Pure)

RoADS: A road pavement monitoring system for anomaly detection using smart phones

Seraj, F., van der Zwaag, B. J., Dilo, A., Luarasi, T. & Havinga, P. J. M., 7 Jan 2016, Big Data Analytics in the Social and Ubiquitous Context. Atzmueller, M., Chin, A., Janssen, F., Schweizer, I. & Trattner, C. (eds.). Berlin: Springer, p. 128-146 16 p. (Lecture Notes in Computer Science; vol. 9546, no. 9546).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

File
32 Citations (Scopus)

Robust and Collective Entity Disambiguation through Semantic Embeddings

Zwicklbauer, S., Seifert, C. & Granitzer, M., 2016, SIGIR'16. Proceedings of the 39th International ACM SIGIR conference on Research and Development in Information Retrieval - SIGIR '16. New York: ACM Press, p. 425-434 10 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Semantics
Artificial intelligence
Tuning
3 Citations (Scopus)

Rule-based support for situation management

Dockhorn Costa, P., Andrade Almeida, J., Pereira, I. S. A., van Sinderen, M. J. & Ferreira Pires, L., 2016, Fusion Methodologies in Crisis Management. Rogova, G. & Scott, P. (eds.). Switzerland: Springer, p. 341-364 24 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

6 Citations (Scopus)

Telerobotics

Niemeyer, G., Preusche, C., Stramigioli, S. & Lee, D., 1 Jan 2016, Springer Handbook of Robotics. Siciliano, B. & Khatib, O. (eds.). Springer International Publishing AG, p. 1085-1108 22 p. (Springer handbooks).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Robotics
Feedback
6 Citations (Scopus)

The Attack Navigator (Invited)

Probst, C. W., Willemson, J. & Pieters, W., 6 Feb 2016, Graphical Models for Security: Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers. Mauw, S., Kordy, B. & Jajodia, S. (eds.). Cham: Springer, p. 1-17 17 p. (Lecture Notes in Computer Science; vol. 9390).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Navigation systems
Risk assessment
2 Citations (Scopus)
6 Downloads (Pure)

Virtual coaches for healthy lifestyle

op den Akker, H. J. A., Klaassen, R. & Nijholt, A., 30 Mar 2016, Toward Robotic Socially Believable Behaving Systems - Volume II: Modeling Social Signals. Esposito, A. & Jain, L. C. (eds.). Berlin, Germany: Springer, p. 121-149 29 p. (Intelligent Systems Reference Library; vol. 106, no. 106).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

15 Downloads (Pure)

Workshop C2 Report - Big Data Interoperability for Enterprises

van Sinderen, M. J. & Iacob, M. E., Sep 2016, Enterprise Interoperability in the Digitized and Networked Factory of the Future. Zelm, M., Doumeingts, G. & Mendonca, J. P. (eds.). UK: International Society for Technology in Education, p. 268-269 2 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

File
1 Downloads (Pure)

‘CTA-Lite’ for Exploring Possible Innovation Pathways of a Nanomedicine-Related Platform–Embedded Responsible Research and Innovation in Practice

Schulze Greiving, V. C., Konrad, K., Robinson, D. K. R. & le Gac, S., 2016, Responsibility and Emerging Technologies: Experiences, Education and Beyond. Bouwman, D. M., Dijkstra, A., Fautz, C., Guivant, J. S., Konrad, K., van Lente, H. & Woll, S. (eds.). IOS Press, p. 25-42 (Studies of New and Emerging Technologies; vol. 7).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

innovation
education
policy
world
Anthropocene
2015
2 Citations (Scopus)

Advancing telemedicine services for the aging population: The challenge of interoperability

van Velsen, L. S., Solana, J., Oude Nijeweme-d'Hollosy, W., Garate-Barreiro, F. & Vollenbroek-Hutten, M. M. R., 8 Aug 2015, Assistive technology. Sik-Lányi, C., Hoogerwerf, E-J., Miesenberger, K. & Cudd, P. (eds.). Amsterdam, the Netherlands: IOS Press, p. 897-900 4 p. (Studies in health technology and informatics; vol. 217, no. 217).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

1 Downloads (Pure)

Affective brain-computer interfaces: neuroscientific approaches to affect detection

Mühl, C., Heylen, D. K. J. & Nijholt, A., Jan 2015, Oxford Handbook of Affective Computing. Calvo, R., D'Mello, S. K., Gratch, J. & Kappas, A. (eds.). Oxford: Oxford University Press, p. 217-232 16 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

3 Citations (Scopus)

A quality-of-data aware mobile decision support system for patients with chronic illnesses

Larburu Rubio, N., van Schooten, B. W., Shalom, E., Fung, L. S. N., van Sinderen, M. J., Hermens, H. J. & Jones, V. M., 2015, Knowledge representation for health care. Riano, D., Lenz, R., Miksch, S., Peleg, M., Reichert, M. U. & ten Teije, A. (eds.). Switzerland: Springer, p. 126-139 14 p. (Lecture Notes in Artificial Intelligence; vol. 9485, no. 1).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

2 Citations (Scopus)
41 Downloads (Pure)

A Study of Identification Performance of Facial Regions from CCTV Images

Ali, T., Tome, P., Fierrez, J., Vera-Rodriguez, R., Spreeuwers, L. J. & Veldhuis, R. N. J., Jul 2015, Computational Forensics. Garain, U. & Shafait, F. (eds.). Switzerland: Springer, p. 83-91 9 p. (Lecture Notes in Computer Science; vol. 8915).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
Television
Adaptive boosting
Networks (circuits)
Discriminant analysis
Video cameras
1 Citation (Scopus)
85 Downloads (Pure)

Bio-inspired hair-based inertial sensors

Droogendijk, H., de Boer, M. J., Sanders, R. G. P. & Krijnen, G. J. M., 28 Jul 2015, Biomimetic Technologies: Principles and Applications. Amsterdam: Elsevier, p. 93-119 27 p. (Woodhead Publishing Series in Electronic and Optical Materials).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

File

Blood-brain barrier (BBB): an overview of the research of the blood-brain barrier using microfluidic devices

van der Meer, A. D., Wolbers, F. & Vermes, I., 2015, Microfluidics for medical applications. van den Berg, A., Segerink, L. & Segerink, L. I. (eds.). Cambridge: Royal Society of Chemistry, p. 40-53 14 p. (RSC Nanoscience & Nanotechnology; no. 36).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Brain-Computer Interface Games: Towards a Framework

Gürkök, H., Nijholt, A. & Poel, M., Oct 2015, Handbook of Digital Games and Entertainment Technologies. Nakatsu, R., Rauterberg, M. & Ciancarini, P. (eds.). Singapore: Springer, p. 1-18 18 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

11 Citations (Scopus)

Competing and collaborating brains: multi-brain computer interfacing

Nijholt, A., 2015, Brain-Computer Interfaces: Current trends and Applications. Hassanieu, A. E. & Azar, A. T. (eds.). Switzerland: Springer, p. 313-335 23 p. (Intelligent Systems Reference Library Series; vol. 74, no. 74).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

14 Citations (Scopus)
6 Downloads (Pure)

eLearning in industrial mathematics with applications to nanoelectronics

Ali, G., Bilotta, E., Gabriele, L., Pantano, P., Sepulveda, J., Servidio, R. & Vasenev, A., 2015, Coupled multiscale simulation and optimization in nanoelectronics. Berlin: Springer, p. 503-559 57 p. (The European Consortium for Mathematics in Industry; vol. 21, no. 21).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

File
13 Citations (Scopus)

Energy-Aware robotics

Stramigioli, S., 14 Dec 2015, Mathematical Control Theory I: Nonlinear and Hybrid Control Systems. Camlibel, M. K., Julius, A. A., Pasumarthy, R. & Scherpen, J. M. A. (eds.). p. 37-50 14 p. (Lecture Notes in Control and Information Sciences; vol. 461).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Energy
Robotics
Passivity
Nature
Pleasure

Examples on Stability for Infinite-Dimensional Systems

Zwart, H. J., 14 Jul 2015, Mathematical Control Theory I. Kanat Camlibel, M., Ramkrishna Pasumarthy, R. P., Agung Julius, A. & Scherpen, J. M. A. (eds.). London: Springer, p. 343-348 6 p. (Lecture Notes in Control and Information Sciences; vol. 461, no. 461).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Infinite-dimensional Systems
Linearization
Linear Systems
Local Stability
Exponential Stability