Deep eutectic solvents formed with unconventional carbon precursors were used for the preparation of hierarchical carbon monoliths and proved effective for doping the resulting carbons with nitrogen.
author: - first_name: Nieves full_name: Lopez Salas, Nieves id: '98120' last_name: Lopez Salas orcid: https://orcid.org/0000-0002-8438-9548 - first_name: María C. full_name: Gutiérrez, María C. last_name: Gutiérrez - first_name: Conchi O. full_name: Ania, Conchi O. last_name: Ania - first_name: José Luís G. full_name: Fierro, José Luís G. last_name: Fierro - first_name: M. full_name: Luisa Ferrer, M. last_name: Luisa Ferrer - first_name: Francisco del full_name: Monte, Francisco del last_name: Monte citation: ama: Lopez Salas N, Gutiérrez MC, Ania CO, Fierro JLG, Luisa Ferrer M, Monte F del. Efficient nitrogen-doping and structural control of hierarchical carbons using unconventional precursors in the form of deep eutectic solvents. J Mater Chem A. 2014;2(41):17387-17399. doi:10.1039/c4ta03266g apa: Lopez Salas, N., Gutiérrez, M. C., Ania, C. O., Fierro, J. L. G., Luisa Ferrer, M., & Monte, F. del. (2014). Efficient nitrogen-doping and structural control of hierarchical carbons using unconventional precursors in the form of deep eutectic solvents. J. Mater. Chem. A, 2(41), 17387–17399. https://doi.org/10.1039/c4ta03266g bibtex: '@article{Lopez Salas_Gutiérrez_Ania_Fierro_Luisa Ferrer_Monte_2014, title={Efficient nitrogen-doping and structural control of hierarchical carbons using unconventional precursors in the form of deep eutectic solvents}, volume={2}, DOI={10.1039/c4ta03266g}, number={41}, journal={J. Mater. Chem. A}, publisher={Royal Society of Chemistry (RSC)}, author={Lopez Salas, Nieves and Gutiérrez, María C. and Ania, Conchi O. and Fierro, José Luís G. and Luisa Ferrer, M. and Monte, Francisco del}, year={2014}, pages={17387–17399} }' chicago: 'Lopez Salas, Nieves, María C. Gutiérrez, Conchi O. Ania, José Luís G. Fierro, M. Luisa Ferrer, and Francisco del Monte. “Efficient Nitrogen-Doping and Structural Control of Hierarchical Carbons Using Unconventional Precursors in the Form of Deep Eutectic Solvents.” J. Mater. Chem. A 2, no. 41 (2014): 17387–99. https://doi.org/10.1039/c4ta03266g.' ieee: 'N. Lopez Salas, M. C. Gutiérrez, C. O. Ania, J. L. G. Fierro, M. Luisa Ferrer, and F. del Monte, “Efficient nitrogen-doping and structural control of hierarchical carbons using unconventional precursors in the form of deep eutectic solvents,” J. Mater. Chem. A, vol. 2, no. 41, pp. 17387–17399, 2014, doi: 10.1039/c4ta03266g.' mla: Lopez Salas, Nieves, et al. “Efficient Nitrogen-Doping and Structural Control of Hierarchical Carbons Using Unconventional Precursors in the Form of Deep Eutectic Solvents.” J. Mater. Chem. A, vol. 2, no. 41, Royal Society of Chemistry (RSC), 2014, pp. 17387–99, doi:10.1039/c4ta03266g. short: N. Lopez Salas, M.C. Gutiérrez, C.O. Ania, J.L.G. Fierro, M. Luisa Ferrer, F. del Monte, J. Mater. Chem. A 2 (2014) 17387–17399. date_created: 2023-01-27T16:22:27Z date_updated: 2023-01-27T16:26:36Z doi: 10.1039/c4ta03266g intvolume: ' 2' issue: '41' keyword: - General Materials Science - Renewable Energy - Sustainability and the Environment - General Chemistry language: - iso: eng page: 17387-17399 publication: J. Mater. Chem. A publication_identifier: issn: - 2050-7488 - 2050-7496 publication_status: published publisher: Royal Society of Chemistry (RSC) status: public title: Efficient nitrogen-doping and structural control of hierarchical carbons using unconventional precursors in the form of deep eutectic solvents type: journal_article user_id: '98120' volume: 2 year: '2014' ... --- _id: '11917' abstract: - lang: eng text: In this paper we present a speech presence probability (SPP) estimation algorithmwhich exploits both temporal and spectral correlations of speech. To this end, the SPP estimation is formulated as the posterior probability estimation of the states of a two-dimensional (2D) Hidden Markov Model (HMM). We derive an iterative algorithm to decode the 2D-HMM which is based on the turbo principle. The experimental results show that indeed the SPP estimates improve from iteration to iteration, and further clearly outperform another state-of-the-art SPP estimation algorithm. author: - first_name: Dang Hai Tran full_name: Vu, Dang Hai Tran last_name: Vu - first_name: Reinhold full_name: Haeb-Umbach, Reinhold id: '242' last_name: Haeb-Umbach citation: ama: 'Vu DHT, Haeb-Umbach R. Using the turbo principle for exploiting temporal and spectral correlations in speech presence probability estimation. In: 38th International Conference on Acoustics, Speech and Signal Processing (ICASSP 2013). ; 2013:863-867. doi:10.1109/ICASSP.2013.6637771' apa: Vu, D. H. T., & Haeb-Umbach, R. (2013). Using the turbo principle for exploiting temporal and spectral correlations in speech presence probability estimation. In 38th International Conference on Acoustics, Speech and Signal Processing (ICASSP 2013) (pp. 863–867). https://doi.org/10.1109/ICASSP.2013.6637771 bibtex: '@inproceedings{Vu_Haeb-Umbach_2013, title={Using the turbo principle for exploiting temporal and spectral correlations in speech presence probability estimation}, DOI={10.1109/ICASSP.2013.6637771}, booktitle={38th International Conference on Acoustics, Speech and Signal Processing (ICASSP 2013)}, author={Vu, Dang Hai Tran and Haeb-Umbach, Reinhold}, year={2013}, pages={863–867} }' chicago: Vu, Dang Hai Tran, and Reinhold Haeb-Umbach. “Using the Turbo Principle for Exploiting Temporal and Spectral Correlations in Speech Presence Probability Estimation.” In 38th International Conference on Acoustics, Speech and Signal Processing (ICASSP 2013), 863–67, 2013. https://doi.org/10.1109/ICASSP.2013.6637771. ieee: D. H. T. Vu and R. Haeb-Umbach, “Using the turbo principle for exploiting temporal and spectral correlations in speech presence probability estimation,” in 38th International Conference on Acoustics, Speech and Signal Processing (ICASSP 2013), 2013, pp. 863–867. mla: Vu, Dang Hai Tran, and Reinhold Haeb-Umbach. “Using the Turbo Principle for Exploiting Temporal and Spectral Correlations in Speech Presence Probability Estimation.” 38th International Conference on Acoustics, Speech and Signal Processing (ICASSP 2013), 2013, pp. 863–67, doi:10.1109/ICASSP.2013.6637771. short: 'D.H.T. Vu, R. Haeb-Umbach, in: 38th International Conference on Acoustics, Speech and Signal Processing (ICASSP 2013), 2013, pp. 863–867.' date_created: 2019-07-12T05:30:45Z date_updated: 2022-01-06T06:51:12Z department: - _id: '54' doi: 10.1109/ICASSP.2013.6637771 keyword: - correlation methods - estimation theory - hidden Markov models - iterative methods - probability - spectral analysis - speech processing - 2D HMM - SPP estimates - iterative algorithm - posterior probability estimation - spectral correlation - speech presence probability estimation - state-of-the-art SPP estimation algorithm - temporal correlation - turbo principle - two-dimensional hidden Markov model - Correlation - Decoding - Estimation - Iterative decoding - Noise - Speech - Vectors language: - iso: eng page: 863-867 publication: 38th International Conference on Acoustics, Speech and Signal Processing (ICASSP 2013) publication_identifier: issn: - 1520-6149 status: public title: Using the turbo principle for exploiting temporal and spectral correlations in speech presence probability estimation type: conference user_id: '44006' year: '2013' ... --- _id: '39485' alternative_title: - Resonant cavity-enhanced OLED based on a columnar liquid crystal author: - first_name: Olga full_name: Kasdorf, Olga last_name: Kasdorf - first_name: Joachim full_name: Vollbrecht, Joachim last_name: Vollbrecht - first_name: Benjamin full_name: Ohms, Benjamin last_name: Ohms - first_name: Ulrich full_name: Hilleringmann, Ulrich id: '20179' last_name: Hilleringmann - first_name: Harald full_name: Bock, Harald last_name: Bock - first_name: Heinz-S. full_name: Kitzerow, Heinz-S. last_name: Kitzerow citation: ama: Kasdorf O, Vollbrecht J, Ohms B, Hilleringmann U, Bock H, Kitzerow H-S. Enhanced organic light-emitting diode based on a columnar liquid crystal by integration in a microresonator. International Journal of Energy Research. 2013;38(4):452-458. doi:10.1002/er.3127 apa: Kasdorf, O., Vollbrecht, J., Ohms, B., Hilleringmann, U., Bock, H., & Kitzerow, H.-S. (2013). Enhanced organic light-emitting diode based on a columnar liquid crystal by integration in a microresonator. International Journal of Energy Research, 38(4), 452–458. https://doi.org/10.1002/er.3127 bibtex: '@article{Kasdorf_Vollbrecht_Ohms_Hilleringmann_Bock_Kitzerow_2013, title={Enhanced organic light-emitting diode based on a columnar liquid crystal by integration in a microresonator}, volume={38}, DOI={10.1002/er.3127}, number={4}, journal={International Journal of Energy Research}, publisher={Hindawi Limited}, author={Kasdorf, Olga and Vollbrecht, Joachim and Ohms, Benjamin and Hilleringmann, Ulrich and Bock, Harald and Kitzerow, Heinz-S.}, year={2013}, pages={452–458} }' chicago: 'Kasdorf, Olga, Joachim Vollbrecht, Benjamin Ohms, Ulrich Hilleringmann, Harald Bock, and Heinz-S. Kitzerow. “Enhanced Organic Light-Emitting Diode Based on a Columnar Liquid Crystal by Integration in a Microresonator.” International Journal of Energy Research 38, no. 4 (2013): 452–58. https://doi.org/10.1002/er.3127.' ieee: 'O. Kasdorf, J. Vollbrecht, B. Ohms, U. Hilleringmann, H. Bock, and H.-S. Kitzerow, “Enhanced organic light-emitting diode based on a columnar liquid crystal by integration in a microresonator,” International Journal of Energy Research, vol. 38, no. 4, pp. 452–458, 2013, doi: 10.1002/er.3127.' mla: Kasdorf, Olga, et al. “Enhanced Organic Light-Emitting Diode Based on a Columnar Liquid Crystal by Integration in a Microresonator.” International Journal of Energy Research, vol. 38, no. 4, Hindawi Limited, 2013, pp. 452–58, doi:10.1002/er.3127. short: O. Kasdorf, J. Vollbrecht, B. Ohms, U. Hilleringmann, H. Bock, H.-S. Kitzerow, International Journal of Energy Research 38 (2013) 452–458. date_created: 2023-01-24T11:30:04Z date_updated: 2023-03-22T10:15:46Z department: - _id: '59' doi: 10.1002/er.3127 intvolume: ' 38' issue: '4' keyword: - Energy Engineering and Power Technology - Fuel Technology - Nuclear Energy and Engineering - Renewable Energy - Sustainability and the Environment language: - iso: eng page: 452-458 publication: International Journal of Energy Research publication_identifier: issn: - 0363-907X publication_status: published publisher: Hindawi Limited status: public title: Enhanced organic light-emitting diode based on a columnar liquid crystal by integration in a microresonator type: journal_article user_id: '20179' volume: 38 year: '2013' ... --- _id: '39707' alternative_title: - Resonant cavity-enhanced OLED based on a columnar liquid crystal author: - first_name: Olga full_name: Kasdorf, Olga last_name: Kasdorf - first_name: Joachim full_name: Vollbrecht, Joachim last_name: Vollbrecht - first_name: Benjamin full_name: Ohms, Benjamin last_name: Ohms - first_name: Ulrich full_name: Hilleringmann, Ulrich id: '20179' last_name: Hilleringmann - first_name: Harald full_name: Bock, Harald last_name: Bock - first_name: Heinz-Siegfried full_name: Kitzerow, Heinz-Siegfried id: '254' last_name: Kitzerow citation: ama: Kasdorf O, Vollbrecht J, Ohms B, Hilleringmann U, Bock H, Kitzerow H-S. Enhanced organic light-emitting diode based on a columnar liquid crystal by integration in a microresonator. International Journal of Energy Research. 2013;38(4):452-458. doi:10.1002/er.3127 apa: Kasdorf, O., Vollbrecht, J., Ohms, B., Hilleringmann, U., Bock, H., & Kitzerow, H.-S. (2013). Enhanced organic light-emitting diode based on a columnar liquid crystal by integration in a microresonator. International Journal of Energy Research, 38(4), 452–458. https://doi.org/10.1002/er.3127 bibtex: '@article{Kasdorf_Vollbrecht_Ohms_Hilleringmann_Bock_Kitzerow_2013, title={Enhanced organic light-emitting diode based on a columnar liquid crystal by integration in a microresonator}, volume={38}, DOI={10.1002/er.3127}, number={4}, journal={International Journal of Energy Research}, publisher={Hindawi Limited}, author={Kasdorf, Olga and Vollbrecht, Joachim and Ohms, Benjamin and Hilleringmann, Ulrich and Bock, Harald and Kitzerow, Heinz-Siegfried}, year={2013}, pages={452–458} }' chicago: 'Kasdorf, Olga, Joachim Vollbrecht, Benjamin Ohms, Ulrich Hilleringmann, Harald Bock, and Heinz-Siegfried Kitzerow. “Enhanced Organic Light-Emitting Diode Based on a Columnar Liquid Crystal by Integration in a Microresonator.” International Journal of Energy Research 38, no. 4 (2013): 452–58. https://doi.org/10.1002/er.3127.' ieee: 'O. Kasdorf, J. Vollbrecht, B. Ohms, U. Hilleringmann, H. Bock, and H.-S. Kitzerow, “Enhanced organic light-emitting diode based on a columnar liquid crystal by integration in a microresonator,” International Journal of Energy Research, vol. 38, no. 4, pp. 452–458, 2013, doi: 10.1002/er.3127.' mla: Kasdorf, Olga, et al. “Enhanced Organic Light-Emitting Diode Based on a Columnar Liquid Crystal by Integration in a Microresonator.” International Journal of Energy Research, vol. 38, no. 4, Hindawi Limited, 2013, pp. 452–58, doi:10.1002/er.3127. short: O. Kasdorf, J. Vollbrecht, B. Ohms, U. Hilleringmann, H. Bock, H.-S. Kitzerow, International Journal of Energy Research 38 (2013) 452–458. date_created: 2023-01-24T18:27:25Z date_updated: 2023-03-22T10:33:48Z department: - _id: '59' doi: 10.1002/er.3127 intvolume: ' 38' issue: '4' keyword: - Energy Engineering and Power Technology - Fuel Technology - Nuclear Energy and Engineering - Renewable Energy - Sustainability and the Environment language: - iso: eng page: 452-458 publication: International Journal of Energy Research publication_identifier: issn: - 0363-907X publication_status: published publisher: Hindawi Limited status: public title: Enhanced organic light-emitting diode based on a columnar liquid crystal by integration in a microresonator type: journal_article user_id: '20179' volume: 38 year: '2013' ... --- _id: '39507' author: - first_name: S.C.S. full_name: Jucá, S.C.S. last_name: Jucá - first_name: P.C.M. full_name: Carvalho, P.C.M. last_name: Carvalho - first_name: R.I.S. full_name: Pereira, R.I.S. last_name: Pereira - first_name: Dmitry full_name: Petrov, Dmitry id: '8282' last_name: Petrov - first_name: Ulrich full_name: Hilleringmann, Ulrich id: '20179' last_name: Hilleringmann citation: ama: Jucá SCS, Carvalho PCM, Pereira RIS, Petrov D, Hilleringmann U. Design and Implementation of a High Temperature Control Monitoring Applied to Micro Thermoelectric Generators. Renewable Energy and Power Quality Journal. Published online 2013:712-717. doi:10.24084/repqj11.425 apa: Jucá, S. C. S., Carvalho, P. C. M., Pereira, R. I. S., Petrov, D., & Hilleringmann, U. (2013). Design and Implementation of a High Temperature Control Monitoring Applied to Micro Thermoelectric Generators. Renewable Energy and Power Quality Journal, 712–717. https://doi.org/10.24084/repqj11.425 bibtex: '@article{Jucá_Carvalho_Pereira_Petrov_Hilleringmann_2013, title={Design and Implementation of a High Temperature Control Monitoring Applied to Micro Thermoelectric Generators}, DOI={10.24084/repqj11.425}, journal={Renewable Energy and Power Quality Journal}, publisher={AEDERMACP (European Association for the Development of Renewable Energies and Power Quality)}, author={Jucá, S.C.S. and Carvalho, P.C.M. and Pereira, R.I.S. and Petrov, Dmitry and Hilleringmann, Ulrich}, year={2013}, pages={712–717} }' chicago: Jucá, S.C.S., P.C.M. Carvalho, R.I.S. Pereira, Dmitry Petrov, and Ulrich Hilleringmann. “Design and Implementation of a High Temperature Control Monitoring Applied to Micro Thermoelectric Generators.” Renewable Energy and Power Quality Journal, 2013, 712–17. https://doi.org/10.24084/repqj11.425. ieee: 'S. C. S. Jucá, P. C. M. Carvalho, R. I. S. Pereira, D. Petrov, and U. Hilleringmann, “Design and Implementation of a High Temperature Control Monitoring Applied to Micro Thermoelectric Generators,” Renewable Energy and Power Quality Journal, pp. 712–717, 2013, doi: 10.24084/repqj11.425.' mla: Jucá, S. C. S., et al. “Design and Implementation of a High Temperature Control Monitoring Applied to Micro Thermoelectric Generators.” Renewable Energy and Power Quality Journal, AEDERMACP (European Association for the Development of Renewable Energies and Power Quality), 2013, pp. 712–17, doi:10.24084/repqj11.425. short: S.C.S. Jucá, P.C.M. Carvalho, R.I.S. Pereira, D. Petrov, U. Hilleringmann, Renewable Energy and Power Quality Journal (2013) 712–717. date_created: 2023-01-24T11:47:52Z date_updated: 2026-02-24T19:09:44Z department: - _id: '59' - _id: '977' doi: 10.24084/repqj11.425 keyword: - Electrical and Electronic Engineering - Energy Engineering and Power Technology - Renewable Energy - Sustainability and the Environment language: - iso: eng page: 712-717 publication: Renewable Energy and Power Quality Journal publication_identifier: issn: - 2172-038X - 2172-038X publication_status: published publisher: AEDERMACP (European Association for the Development of Renewable Energies and Power Quality) status: public title: Design and Implementation of a High Temperature Control Monitoring Applied to Micro Thermoelectric Generators type: journal_article user_id: '8282' year: '2013' ... --- _id: '33825' abstract: - lang: eng text: This article describes our approach for the specification and verification of production automation systems with real-time properties. We focus on the graphical MFERT notation and RT-OCL (Real-Time Object Constraint Language) for the specification of state-oriented real-time properties. RT-OCL is an extension of the Object Constraint Language (OCL) that is part of the Unified Modeling Language (UML). We introduce the formal semantics of RT-OCL based on a formal model of UML Class and State Diagrams and provide a mapping to temporal logics. The applicability of our approach is demonstrated by the case study of a manufacturing system with automated guided vehicles. author: - first_name: Stephan full_name: Flake, Stephan last_name: Flake - first_name: Wolfgang full_name: Müller, Wolfgang id: '16243' last_name: Müller - first_name: Ulrich full_name: Pape, Ulrich last_name: Pape - first_name: Jürgen full_name: Ruf, Jürgen last_name: Ruf citation: ama: 'Flake S, Müller W, Pape U, Ruf J. Specification and Formal Verification of Temporal Properties of Production Automation Systems. In: Ehrig H, Damm W, Desel J, et al., eds. Integration of Software Specification Techniques for Applications in Engineering. Vol 3147. Lecture Notes in Computer Science. Springer-Verlag; 2004:206-226. doi:10.1007/978-3-540-27863-4_13' apa: Flake, S., Müller, W., Pape, U., & Ruf, J. (2004). Specification and Formal Verification of Temporal Properties of Production Automation Systems. In H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, & E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering (Vol. 3147, pp. 206–226). Springer-Verlag. https://doi.org/10.1007/978-3-540-27863-4_13 bibtex: '@inbook{Flake_Müller_Pape_Ruf_2004, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={Specification and Formal Verification of Temporal Properties of Production Automation Systems}, volume={3147}, DOI={10.1007/978-3-540-27863-4_13}, booktitle={Integration of Software Specification Techniques for Applications in Engineering}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen}, editor={Ehrig, Hartmut and Damm, Werner and Desel, Jörg and Große-Rhode, Martin and Reif, Wolfgang and Schnieder, Eckehard and Westkämper, Engelbert}, year={2004}, pages={206–226}, collection={Lecture Notes in Computer Science} }' chicago: 'Flake, Stephan, Wolfgang Müller, Ulrich Pape, and Jürgen Ruf. “Specification and Formal Verification of Temporal Properties of Production Automation Systems.” In Integration of Software Specification Techniques for Applications in Engineering, edited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, and Engelbert Westkämper, 3147:206–26. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag, 2004. https://doi.org/10.1007/978-3-540-27863-4_13.' ieee: 'S. Flake, W. Müller, U. Pape, and J. Ruf, “Specification and Formal Verification of Temporal Properties of Production Automation Systems,” in Integration of Software Specification Techniques for Applications in Engineering, vol. 3147, H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, and E. Westkämper, Eds. Berlin, Heidelberg: Springer-Verlag, 2004, pp. 206–226.' mla: Flake, Stephan, et al. “Specification and Formal Verification of Temporal Properties of Production Automation Systems.” Integration of Software Specification Techniques for Applications in Engineering, edited by Hartmut Ehrig et al., vol. 3147, Springer-Verlag, 2004, pp. 206–26, doi:10.1007/978-3-540-27863-4_13. short: 'S. Flake, W. Müller, U. Pape, J. Ruf, in: H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering, Springer-Verlag, Berlin, Heidelberg, 2004, pp. 206–226.' date_created: 2022-10-20T09:25:53Z date_updated: 2022-10-20T09:26:15Z department: - _id: '672' doi: 10.1007/978-3-540-27863-4_13 editor: - first_name: Hartmut full_name: Ehrig, Hartmut last_name: Ehrig - first_name: Werner full_name: Damm, Werner last_name: Damm - first_name: Jörg full_name: Desel, Jörg last_name: Desel - first_name: Martin full_name: Große-Rhode, Martin last_name: Große-Rhode - first_name: Wolfgang full_name: Reif, Wolfgang last_name: Reif - first_name: Eckehard full_name: Schnieder, Eckehard last_name: Schnieder - first_name: Engelbert full_name: Westkämper, Engelbert last_name: Westkämper intvolume: ' 3147' keyword: - Model Check - Temporal Logic - Object Constraint Language - Abstract Syntax - Temporal Logic Formula language: - iso: eng page: 206-226 place: Berlin, Heidelberg publication: Integration of Software Specification Techniques for Applications in Engineering publication_identifier: isbn: - 978-3-540-27863-4 publisher: Springer-Verlag series_title: Lecture Notes in Computer Science status: public title: Specification and Formal Verification of Temporal Properties of Production Automation Systems type: book_chapter user_id: '5786' volume: 3147 year: '2004' ... --- _id: '34447' abstract: - lang: eng text: "The Object Constraint Language (OCL) was introduced to support the specification of constraints for UML diagrams and is mainly used to formulate invariants and operation pre- and postconditions. Though OCL is also applied in behavioral diagrams, e.g., as guards for state transitions, it is currently not possible to specify constraints concerning the dynamic behavior and timing properties of such diagrams.\r\n\r\nThis article discusses OCL’s application for the dynamic behavior of UML Statechart diagrams and presents an OCL extension for specification of state-oriented time-bounded constraints.We introduce operations to extract state configurations from diagrams and define additional predicates over states and state configurations. The semantics of our OCL extension is given by employing time-bounded Computational Tree Logic (CTL) formulae. An example of a flexible manufacturing system with automated guided vehicles demonstrates the application of our extension." author: - first_name: Stephan full_name: Flake, Stephan last_name: Flake - first_name: Wolfgang full_name: Müller, Wolfgang id: '16243' last_name: Müller citation: ama: 'Flake S, Müller W. An OCL Extension for Real-Time Constraints. In: Clark T, Warmer J, eds. Advances in Object Modelling with the OCL. Springer-Verlag; 2002:150-171. doi:10.1007/3-540-45669-4_8' apa: Flake, S., & Müller, W. (2002). An OCL Extension for Real-Time Constraints. In T. Clark & J. Warmer (Eds.), Advances in Object Modelling with the OCL (pp. 150–171). Springer-Verlag. https://doi.org/10.1007/3-540-45669-4_8 bibtex: '@inbook{Flake_Müller_2002, place={Berlin, Heidelberg}, title={An OCL Extension for Real-Time Constraints}, DOI={10.1007/3-540-45669-4_8}, booktitle={Advances in Object Modelling with the OCL}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang}, editor={Clark, T. and Warmer, J.}, year={2002}, pages={150–171} }' chicago: 'Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.” In Advances in Object Modelling with the OCL, edited by T. Clark and J. Warmer, 150–71. Berlin, Heidelberg: Springer-Verlag, 2002. https://doi.org/10.1007/3-540-45669-4_8.' ieee: 'S. Flake and W. Müller, “An OCL Extension for Real-Time Constraints,” in Advances in Object Modelling with the OCL, T. Clark and J. Warmer, Eds. Berlin, Heidelberg: Springer-Verlag, 2002, pp. 150–171.' mla: Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.” Advances in Object Modelling with the OCL, edited by T. Clark and J. Warmer, Springer-Verlag, 2002, pp. 150–71, doi:10.1007/3-540-45669-4_8. short: 'S. Flake, W. Müller, in: T. Clark, J. Warmer (Eds.), Advances in Object Modelling with the OCL, Springer-Verlag, Berlin, Heidelberg, 2002, pp. 150–171.' date_created: 2022-12-15T11:38:20Z date_updated: 2022-12-15T11:38:47Z department: - _id: '672' doi: 10.1007/3-540-45669-4_8 editor: - first_name: T. full_name: Clark, T. last_name: Clark - first_name: J. full_name: Warmer, J. last_name: Warmer keyword: - Model Check Temporal Logic Object Constraint Language Execution Path Kripke Structure language: - iso: eng page: 150 - 171 place: Berlin, Heidelberg publication: Advances in Object Modelling with the OCL publication_identifier: isbn: - 978-3-540-45669-8 publisher: Springer-Verlag status: public title: An OCL Extension for Real-Time Constraints type: book_chapter user_id: '5786' year: '2002' ...