| Publication | Date of Publication | Type |
|---|
| Robust stutter bisimulation for abstraction and controller synthesis with disturbance | 2024-02-13 | Paper |
| On proving that an unsafe controller is not proven safe | 2024-02-12 | Paper |
| A survey on compositional algorithms for verification and synthesis in supervisory control | 2023-10-04 | Paper |
| On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic | 2022-07-12 | Paper |
| A general scheme for separably reducible properties | 2022-05-03 | Paper |
| Compositional coordinator synthesis of extended finite automata | 2021-12-09 | Paper |
| On semiregularity of mappings | 2019-05-08 | Paper |
| Separable reduction of local metric regularity | 2018-10-23 | Paper |
| A Framework for Compositional Synthesis of Modular Nonblocking Supervisors | 2017-05-16 | Paper |
| Compositional synthesis of supervisors in the form of state machines and state maps | 2017-01-11 | Paper |
| A framework for compositional nonblocking verification of extended finite-state machines | 2016-03-29 | Paper |
| On primal regularity estimates for set-valued mappings | 2016-02-25 | Paper |
| Attainment and (sub)differentiability of the supremal convolution of a function and square of the norm | 2012-07-04 | Paper |
| Time-optimal coordination of flexible manufacturing systems using deterministic finite automata and mixed integer linear programming | 2010-06-16 | Paper |
| Attainment and (sub)differentiability of the infimal convolution of a function and the square of the norm | 2010-05-26 | Paper |
| On weak compactness in \(L_1\) spaces | 2010-01-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3399444 | 2009-10-12 | Paper |
| Sigma-locally uniformly rotund and sigma-weak\(^*\) Kadets dual norms | 2009-04-23 | Paper |
| Sigma-finite dual dentability indices | 2009-01-16 | Paper |
| Infimal convolution in Efimov-Stečkin Banach spaces | 2008-01-08 | Paper |
| Compositional synthesis of maximally permissive supervisors using supervision equivalence | 2008-01-04 | Paper |
| Weak compactness and σ-Asplund generated Banach spaces | 2007-06-29 | Paper |
| Exact Filling of Figures with the Derivatives of Smooth Mappings Between Banach Spaces | 2006-02-22 | Paper |
| Maximally permissive mutually and globally nonblocking supervision with application to switching control | 2005-12-08 | Paper |
| A quantitative version of Krein's theorem | 2005-10-05 | Paper |
| Biorthogonal Systems in Weakly Lindelöf Spaces | 2005-05-03 | Paper |
| The day norm and Gruenhage compacta | 2004-10-25 | Paper |
| Inner characterizations of weakly compactly generated Banach spaces and their relatives | 2004-10-12 | Paper |
| A CHARACTERIZATION OF SUBSPACES OF WEAKLY COMPACTLY GENERATED BANACH SPACES | 2004-09-24 | Paper |
| A “nonlinear” proof of Pitt’s compactness theorem | 2003-09-10 | Paper |
| Hilbert-generated spaces. | 2003-07-01 | Paper |
| The range of the gradient of a Lipschitz \(C^1\)-smooth bump in infinite dimensions | 2003-05-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766073 | 2003-04-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4782080 | 2003-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2720300 | 2002-09-16 | Paper |
| Mutually nonblocking supervisory control of discrete event systems | 2001-09-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4488773 | 2000-07-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955932 | 2000-05-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4782082 | 2000-01-01 | Paper |
| A note on bump functions that locally depend on finitely many coordinates | 1998-11-29 | Paper |
| A class of non-deterministic specifications for supervisory control | 1998-06-29 | Paper |
| Characterizations of Banach spaces via convex and other locally Lipschitz functions | 1998-04-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4383399 | 1998-04-01 | Paper |
| On equivalent characterizations of weakly compactly generated Banach spaces | 1997-12-08 | Paper |
| On smooth variational principles in Banach spaces | 1997-08-18 | Paper |
| On generic second-order gateaux differentiability | 1996-08-18 | Paper |
| On an extension of norms from a subspace to the whole Banach space keeping their rotundity | 1995-02-06 | Paper |
| On Convex Functions Having Points of Gateaux Differentiability Which are Not Points of Fréchet Differentiability | 1994-05-03 | Paper |
| On Intermediate Differentiability of Lipschitz Functions on Certain Banach Spaces | 1992-06-26 | Paper |
| SEPARATING POLYNOMIALS ON BANACH SPACES | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3027684 | 1987-01-01 | Paper |
| Each weakly countably determined Asplund space admits a Fréchet differentiable norm | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3808343 | 1987-01-01 | Paper |
| On projectional resolution of identity on the duals of certain Banach spaces | 1987-01-01 | Paper |
| Subdifferentials, Local ε-Supports and Asplund Spaces | 1986-01-01 | Paper |
| Norms with locally Lipschitzian derivatives | 1983-01-01 | Paper |
| On residuality of the set of rotund norms on a Banach space | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4148414 | 1977-01-01 | Paper |
