Philipp Schmitz

According to our database, Philipp Schmitz authored at least 12 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Sampled-data funnel control and its use for safe continual learning.

Lukas Lanza, Dario Dennstädt, Karl Worthmann, Philipp Schmitz, Gökçen Devlet Sen, Stephan Trenn, Manuel Schaller

Syst. Control. Lett., 2024

VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL.

Anna Lena Duque Antón, Johannes Müller, Philipp Schmitz, Tobias Jauch, Alex Wezel, Lucas Deutschmann, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz

CoRR, 2024

2023

Behavioral theory for stochastic systems? A data-driven journey from Willems to Wiener and back again.

Timm Faulwasser, Ruchuan Ou, Guanru Pan, Philipp Schmitz, Karl Worthmann

Annu. Rev. Control., January, 2023

Okapi: A Lightweight Architecture for Secure Speculation Exploiting Locality of Memory Accesses.

Philipp Schmitz, Tobias Jauch, Alex Wezel, Mohammad Rahmani Fadiheh, Thore Tiemann, Jonah Heller, Thomas Eisenbarth, Dominik Stoffel, Wolfgang Kunz

CoRR, 2023

UPEC-PN: Exhaustive constant time verification of low-level software using property checking.

Philipp Schmitz, Johannes Mueller, Christian Bartsch, Dominik Stoffel, Wolfgang Kunz

Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2023

Safe data-driven reference tracking with prescribed performance^⋆.

Philipp Schmitz, Lukas Lanza, Karl Worthmann

Proceedings of the 27th International Conference on System Theory, Control and Computing, 2023

Secure-by-Construction Design Methodology for CPUs: Implementing Secure Speculation on the RTL.

Tobias Jauch, Alex Wezel, Mohammad Rahmani Fadiheh, Philipp Schmitz, Sayak Ray, Jason M. Fung, Christopher W. Fletcher, Dominik Stoffel, Wolfgang Kunz

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

X-in-the-Loop Test Environment for Standardized Development of Photovoltaic Inverters.

Philipp Schmitz, Derk Gonschor, Marco Jung

Proceedings of the 20th IEEE International Conference on Smart Technologies, 2023

2022

Willems' Fundamental Lemma for Linear Descriptor Systems and Its Use for Data-Driven Output-Feedback MPC.

Philipp Schmitz, Timm Faulwasser, Karl Worthmann

IEEE Control. Syst. Lett., 2022

Data-driven MPC of descriptor systems: A case study for power networks.

Philipp Schmitz, Alexander Engelmann, Timm Faulwasser, Karl Worthmann

CoRR, 2022

2009

A 1.8 V 1.0 GS/s 10b Self-Calibrating Unified-Folding-Interpolating ADC With 9.1 ENOB at Nyquist Frequency.

Robert C. Taft, Pier Andrea Francese, Maria Rosaria Tursi, Ols Hidri, Alan MacKenzie, Tobias Hoehn, Philipp Schmitz, Heinz Werker, Andrew Glenny

IEEE J. Solid State Circuits, 2009

A 1.8V 1.0GS/s 10b self-calibrating unified-folding-interpolating ADC with 9.1 ENOB at Nyquist frequency.

Robert C. Taft, Pier Andrea Francese, Maria Rosaria Tursi, Ols Hidri, Alan MacKenzie, Tobias Hoehn, Philipp Schmitz, Heinz Werker, Andrew Glenny

Proceedings of the IEEE International Solid-State Circuits Conference, 2009