Florian Göbe, M.Sc. RWTH

Wissenschaftlicher Mitarbeiter

Kontakt:

E-Mail: goebe[at]embedded[dot]rwth-aachen[dot]de
Telefon: 0241/80-21171

Adresse: Informatik 11, Ahornstr. 55, 52074 Aachen
Büro: Raum 2321 (Gebäude H, 3. OG)

Forschungsschwerpunkt

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.

Gremien

Hochschulintern

  • Lenkungsausschuss des DFG-GRK 1298 „AlgoSyn“ (2015)

Fachausschüsse

Lehre

2016
2015
2014
2013

Betreute Abschlussarbeiten und Projekte

Publikationen


Publikations-Export
[GNK16]
Göbe, F., Ney, O., and Kowalewski, S., "Reusability and Modularity of Safety Specifications for Supervisory Control", in Proc. of the IEEE International Conference on Emerging Technology & Factory Automation, 2016, IEEE, pp. 1-8.

Reusability and Modularity of Safety Specifications for Supervisory Control

Bibtex entry :

@inproceedings { GNK16,
	author = { G{\"o}be, Florian and Ney, Oliver and Kowalewski, Stefan },
	title = { Reusability and Modularity of Safety Specifications for
		Supervisory Control },
	booktitle = { of the IEEE International Conference on Emerging Technology
		& Factory Automation },
	publisher = { IEEE },
	publishedas = { Druck Online },
	isbn = { 978-1-5090-1314-2 },
	language = { eng },
	pages = { 1--8 },
	year = { 2016 },
	timestamp = { 2016.06.03 },
	i11key = { conference },
	url = { https://publications.embedded.rwth-aachen.de/file/6t },
	for_reporting_period = { 2016 },
}
[GTNK16]
Göbe, F., Timmermanns, T., Ney, O., and Kowalewski, S., "Synthesis Tool for Automation Controller Supervision", in Proc. of the 13th International Workshop on Discrete Event Systems, 2016, IEEE, pp. 424-431.

Synthesis Tool for Automation Controller Supervision

Bibtex entry :

@inproceedings { GTNK16,
	author = { G{\"o}be, Florian and Timmermanns, Thomas and Ney, Oliver
		and Kowalewski, Stefan },
	title = { Synthesis Tool for Automation Controller Supervision },
	booktitle = { of the 13th International Workshop on Discrete Event Systems },
	publisher = { IEEE },
	publishedas = { Online },
	isbn = { 978-1-5090-4190-9 },
	language = { eng },
	pages = { 424--431 },
	year = { 2016 },
	timestamp = { 2016.03.22 },
	i11key = { conference },
	url = { https://publications.embedded.rwth-aachen.de/file/6b },
	for_reporting_period = { 2016 },
}
[JGN14a]
PDFBIB
Jansen, C., Göbe, F., and Noll, T., "Generating inductive predicates for symbolic execution of pointer-manipulating programs", in Proc. of the 7th international conference on graph transformation, 2014, Springer, pp. 65-80.

Generating inductive predicates for symbolic execution of pointer-manipulating programs

Bibtex entry :

@inproceedings { JGN14a,
	author = { Jansen, Christina and G{\"o}be, Florian and Noll, Thomas },
	title = { Generating inductive predicates for symbolic execution of
		pointer-manipulating programs },
	booktitle = { of the 7th international conference on graph transformation },
	publisher = { Springer },
	publishedas = { Druck Online },
	isbn = { 978-3-319-09107-5 },
	issn = { 0302-9743 },
	language = { eng },
	pages = { 65--80 },
	year = { 2014 },
	timestamp = { 2016.01.28 },
	i11key = { conference },
	for_reporting_period = { 2014 },
}
[JGN14b]
Jansen, C., Göbe, F., and Noll, T., "Generating inductive predicates for symbolic execution of pointer-manipulating programs", RWTH Aachen University, AIB 2014-08, 2014.

Generating inductive predicates for symbolic execution of pointer-manipulating programs

Bibtex entry :

@techreport { JGN14b,
	author = { Jansen, Christina and G{\"o}be, Florian and Noll, Thomas },
	title = { Generating inductive predicates for symbolic execution of
		pointer-manipulating programs },
	pages = { 65--80 },
	institution = { RWTH Aachen University },
	year = { 2014 },
	number = { AIB 2014-08 },
	month = { May },
	url = { http://webdoc.sub.gwdg.de/ebook/serien/ah/AIB/2014-08.pdf },
	timestamp = { 2016.01.28 },
	for_reporting_period = { 2014 },
}
[SGW+11]
Stollenwerk, A., Göbe, F., Walter, M., Kopp, R., Arens, J., and Kowalewski, S., "Smart Data Provisioning for Model-Based Generated Code in an Intensive Care Application", in Proc. High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability (HCMDSS/MDPnP 2011), Chicago, USA, 2011, Upenn, p. 8.

Smart Data Provisioning for Model-Based Generated Code in an Intensive Care Application

Bibtex entry :

@inproceedings { SGW+11,
	owner = { stollenwerk },
	author = { Stollenwerk, Andr{\'e} and G{\"o}be, Florian and Walter,
		Marian and Kopp, R{\"u}dger and Arens, Jutta and Kowalewski,
		Stefan },
	title = { Smart Data Provisioning for Model-Based Generated Code in an
		Intensive Care Application },
	booktitle = { High Confidence Medical Devices, Software, and Systems and
		Medical Device Plug-and-Play Interoperability (HCMDSS/MDPnP
		2011), Chicago, USA },
	publisher = { Upenn },
	publishedas = { Druck Online },
	language = { eng },
	pages = { 0--8 },
	year = { 2011 },
	timestamp = { 2011.03.11 },
	i11key = { conference },
	i11projectkey = { SmartECLA },
	url = { http://publications.embedded.rwth-aachen.de/file/49 },
	for_reporting_period = { 2011 },
}

RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland