Dies ist eine alte Version des Dokuments!
Wissenschaftlicher Mitarbeiter, Doktorand
Kontakt:
E-Mail: goebe[at]embedded[dot]rwth-aachen[dot]de
Telefon: 0241/80-21171 vorübergehend: 0241/80-21163
Adresse: Informatik 11, Ahornstr. 55, 52074 Aachen
Büro: Raum 2321 (Gebäude H, 3. OG)
Als Stipendiat im DFG-Graduiertenkolleg 1298 „AlgoSyn“ beschäftige ich mich schwerpunktmäßig mit der Synthese von Steuerungen für SPS-Plattformen. Der vielversprechendste Ansatz ist hierfür das Framework von Ramadge und Wonham, auch bekannt unter dem Namen Supverisory Control Theory (SCT). Obwohl es bereits zahlreiche Bestrebungen gab, dieses theoretische Synthesekonzept auf praktische Steuerungsanwendungen zu übertragen, sind hier nach wie vor viele Probleme ungelöst, die es zu lösen gilt. Insbesondere die sinnvolle Einbettung des Verfahrens in den industriellen Entwicklungsprozess von Steuerungssoftware ist hierbei von Bedeutung.
@phdthesis { Gob19, author = { G{\"o}be, Florian }, othercontributors = { Kowalewski, Stefan and Lunze, Jan }, title = { Runtime supervision of PLC programs using discrete-event systems }, publisher = { RWTH Aachen University, Department of Computer Science }, school = { RWTH Aachen University }, pages = { 1 Online-Ressource (xi, 170 Seiten) : Illustrationen, Diagramme }, series = { Aachener Informatik-Berichte }, year = { 2019 }, address = { Aachen }, doi = { 10.18154/RWTH-2019-11022 }, typ = { PUB:(DE-HGF)11 }, reportid = { RWTH-2019-11022 }, cin = { 122810 / 120000 }, url = { http://publications.rwth-aachen.de/record/773311/files/773311.pdf }, }
@inproceedings { GAK17, author = { G{\"o}be, Florian and Aydin, Selin and Kowalewski, Stefan }, title = { Applicability of supervisory control theory for the supervision of PLC programs }, booktitle = { 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation : September 12-15, 2017, Limassol, Cyprus / ABB, IEEE, IES, University of Cyprus }, publisher = { IEEE }, pages = { 8 Seiten }, year = { 2017 }, address = { Piscataway, NJ }, organization = { 22. IEEE International Conference on Emerging Technologies and Factory Automation, Limassol (Cyprus), 2017-09-12 - 2017-09-15 }, doi = { 10.1109/ETFA.2017.8247575 }, typ = { PUB:(DE-HGF)7 }, reportid = { RWTH-2018-223454 }, cin = { 122810 / 120000 }, url = { http://publications.rwth-aachen.de/record/722221 }, }
@inproceedings { GNK16, author = { G{\"o}be, Florian and Ney, Oliver and Kowalewski, Stefan }, title = { Reusability and Modularity of Safety Specifications for Supervisory Control }, booktitle = { 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA) : September 6-9, 2016 Berlin, Germany / IEEE, IES, Fraunhofer IOSB-INA, InIT }, publisher = { IEEE }, pages = { 1-8 }, year = { 2016 }, address = { Piscataway, NJ }, organization = { 21. International Conference on Emerging Technologies and Factory Automation, Berlin (Germany), 2016-09-06 - 2016-09-09 }, doi = { 10.1109/ETFA.2016.7733498 }, typ = { PUB:(DE-HGF)7 }, reportid = { RWTH-2017-00123 }, cin = { 122810 / 120000 }, url = { http://publications.rwth-aachen.de/record/681312 }, }
@inproceedings { GTN+16, author = { G{\"o}be, Florian and Timmermanns, Thomas and Ney, Oliver and Kowalewski, Stefan }, title = { Synthesis Tool for Automation Controller Supervision }, booktitle = { 2016 13th International Workshop on Discrete Event Systems (WODES) : May 30-June 1, 2016, Xi'an, China / edited by Christos G. Cassandras, Alessandro Giua, Zhiwu Li ; sponsored by IEEE - Control Systems Society }, publisher = { IEEE }, pages = { 424-431 }, year = { 2016 }, address = { Piscataway, NJ }, organization = { 13. International Workshop on Discrete Event Systems (WODES), Xi'an (Peoples R China), 2016-05-30 - 2016-06-01 }, doi = { 10.1109/WODES.2016.7497883 }, typ = { PUB:(DE-HGF)7 }, reportid = { RWTH-2016-11199 }, cin = { 122810 / 120000 }, url = { http://publications.rwth-aachen.de/record/679437 }, }
@inproceedings { JGN14, author = { Jansen, Christina and G{\"o}be, Florian and Noll, Thomas }, title = { Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs }, booktitle = { Graph transformation : 7th international conference, ICGT 2014, held as part of STAF 2014, York, UK, July 22 - 24, 2014 ; proceedings / Holger Giese ... (eds.) }, publisher = { Springer }, pages = { 65-80 }, series = { Lecture notes in computer science }, year = { 2014 }, address = { Cham [u.a.] }, organization = { Graph transformation : 7. international conference, York (UK), 2014-07-22 - 2014-07-24 }, doi = { 10.1007/978-3-319-09108-2_5 }, typ = { PUB:(DE-HGF)7 }, reportid = { RWTH-CONV-206171 }, cin = { 120000 / 122810 }, url = { http://publications.rwth-aachen.de/record/444215 }, }
@inproceedings { SGW+11, author = { Stollenwerk, André and G{\"o}be, F. and Walter, Marian and Arens, Jutta and Kopp, R{\"u}dger and Kowalewski, Stefan }, title = { Smart Data Provisioning for Model-Based Generated Code in an Intensive Care Application }, booktitle = { 3rd Joint Workshop On High Confidence Medical Devices, Software, and Systems & Medical Device Plug-and-Play Interoperability : HCMDSS/MDPnP 2011 ; in conjunction with CPSweek 2011 ; April 11, 2011 Chicago, USA }, publisher = { HCMDSS/MDPnP 2011 ; in conjunction with CPSweek 2011 ; April 11, 2011 Chicago, USA }, pages = { 8 S. }, year = { 2011 }, address = { Chicago }, organization = { 3. Joint Workshop On High Confidence Medical Devices, Software, and Systems & Medical Device Plug-and-Play Interoperability, Chicago (USA), 2011-04-11 - 2011-04-11 }, typ = { PUB:(DE-HGF)8 }, reportid = { RWTH-CONV-006017 }, cin = { 611010 / 122810 / 120000 }, url = { http://www.seas.upenn.edu/~rahulm/Shared/HCMDSS/hcmdss11_aachen.pdf }, }