| Publication | Date of Publication | Type |
|---|
Smart contract denial-of-service analysis using non-blocking verification
Discrete Event Dynamic Systems | 2026-02-09 | Paper |
Supervisory control synthesis of timed automata using forcible events
IEEE Transactions on Automatic Control | 2024-07-21 | Paper |
Conflict-free electric vehicle routing problem: an improved compositional algorithm
Discrete Event Dynamic Systems | 2024-05-27 | Paper |
Robust stutter bisimulation for abstraction and controller synthesis with disturbance
Automatica | 2024-02-13 | Paper |
On proving that an unsafe controller is not proven safe
Journal of Logical and Algebraic Methods in Programming | 2024-02-12 | Paper |
A survey on compositional algorithms for verification and synthesis in supervisory control
Discrete Event Dynamic Systems | 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
Discrete Event Dynamic Systems | 2021-12-09 | Paper |
On semiregularity of mappings
Journal of Mathematical Analysis and Applications | 2019-05-08 | Paper |
Separable reduction of local metric regularity
Proceedings of the American Mathematical Society | 2018-10-23 | Paper |
A Framework for Compositional Synthesis of Modular Nonblocking Supervisors
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Compositional synthesis of supervisors in the form of state machines and state maps
Automatica | 2017-01-11 | Paper |
A framework for compositional nonblocking verification of extended finite-state machines
Discrete Event Dynamic Systems | 2016-03-29 | Paper |
On primal regularity estimates for set-valued mappings
Journal of Mathematical Analysis and Applications | 2016-02-25 | Paper |
Attainment and (sub)differentiability of the supremal convolution of a function and square of the norm
Journal of Mathematical Analysis and Applications | 2012-07-04 | Paper |
Time-optimal coordination of flexible manufacturing systems using deterministic finite automata and mixed integer linear programming
Discrete Event Dynamic Systems | 2010-06-16 | Paper |
Attainment and (sub)differentiability of the infimal convolution of a function and the square of the norm
Journal of Mathematical Analysis and Applications | 2010-05-26 | Paper |
On weak compactness in L₁ spaces
Rocky Mountain Journal of Mathematics | 2010-01-05 | Paper |
| scientific article; zbMATH DE number 5613477 (Why is no real title available?) | 2009-10-12 | Paper |
Sigma-locally uniformly rotund and sigma-weak\(^*\) Kadets dual norms
Topology and its Applications | 2009-04-23 | Paper |
Sigma-finite dual dentability indices
Journal of Mathematical Analysis and Applications | 2009-01-16 | Paper |
Infimal convolution in Efimov-Stečkin Banach spaces
Journal of Mathematical Analysis and Applications | 2008-01-08 | Paper |
Compositional synthesis of maximally permissive supervisors using supervision equivalence
Discrete Event Dynamic Systems | 2008-01-04 | Paper |
Weak compactness and σ-Asplund generated Banach spaces
Studia Mathematica | 2007-06-29 | Paper |
Exact Filling of Figures with the Derivatives of Smooth Mappings Between Banach Spaces
Canadian Mathematical Bulletin | 2006-02-22 | Paper |
Maximally permissive mutually and globally nonblocking supervision with application to switching control
Automatica | 2005-12-08 | Paper |
A quantitative version of Krein's theorem
Revista Matemática Iberoamericana | 2005-10-05 | Paper |
Biorthogonal Systems in Weakly Lindelöf Spaces
Canadian Mathematical Bulletin | 2005-05-03 | Paper |
The day norm and Gruenhage compacta
Bulletin of the Australian Mathematical Society | 2004-10-25 | Paper |
Inner characterizations of weakly compactly generated Banach spaces and their relatives
Journal of Mathematical Analysis and Applications | 2004-10-12 | Paper |
A CHARACTERIZATION OF SUBSPACES OF WEAKLY COMPACTLY GENERATED BANACH SPACES
Journal of the London Mathematical Society | 2004-09-24 | Paper |
A “nonlinear” proof of Pitt’s compactness theorem
Proceedings of the American Mathematical Society | 2003-09-10 | Paper |
Hilbert-generated spaces.
Journal of Functional Analysis | 2003-07-01 | Paper |
The range of the gradient of a Lipschitz C^1-smooth bump in infinite dimensions
Israel Journal of Mathematics | 2003-05-20 | Paper |
Norms that locally depend on countably many linear functionals
Extracta Mathematicae | 2003-04-14 | Paper |
| scientific article; zbMATH DE number 1836398 (Why is no real title available?) | 2003-04-06 | Paper |
The range of the gradient of a continuously differentiable bump
Journal of Nonlinear and Convex Analysis | 2002-09-16 | Paper |
Mutually nonblocking supervisory control of discrete event systems
Automatica | 2001-09-02 | Paper |
| scientific article; zbMATH DE number 1471481 (Why is no real title available?) | 2000-07-09 | Paper |
| scientific article; zbMATH DE number 1450217 (Why is no real title available?) | 2000-05-22 | Paper |
| scientific article; zbMATH DE number 1836400 (Why is no real title available?) | 2000-01-01 | Paper |
A note on bump functions that locally depend on finitely many coordinates
Bulletin of the Australian Mathematical Society | 1998-11-29 | Paper |
A class of non-deterministic specifications for supervisory control
European Journal of Control | 1998-06-29 | Paper |
Characterizations of Banach spaces via convex and other locally Lipschitz functions
Acta Mathematica Vietnamica | 1998-04-13 | Paper |
| scientific article; zbMATH DE number 1138017 (Why is no real title available?) | 1998-04-01 | Paper |
On equivalent characterizations of weakly compactly generated Banach spaces
Rocky Mountain Journal of Mathematics | 1997-12-08 | Paper |
On smooth variational principles in Banach spaces
Journal of Mathematical Analysis and Applications | 1997-08-18 | Paper |
On generic second-order gateaux differentiability
Nonlinear Analysis: Theory, Methods & Applications | 1996-08-18 | Paper |
On an extension of norms from a subspace to the whole Banach space keeping their rotundity
Studia Mathematica | 1995-02-06 | Paper |
On Convex Functions Having Points of Gateaux Differentiability Which are Not Points of Fréchet Differentiability
Canadian Journal of Mathematics | 1994-05-03 | Paper |
On Intermediate Differentiability of Lipschitz Functions on Certain Banach Spaces
Proceedings of the American Mathematical Society | 1992-06-26 | Paper |
SEPARATING POLYNOMIALS ON BANACH SPACES
The Quarterly Journal of Mathematics | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4015470 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4077602 (Why is no real title available?) | 1987-01-01 | Paper |
Each weakly countably determined Asplund space admits a Fréchet differentiable norm
Bulletin of the Australian Mathematical Society | 1987-01-01 | Paper |
On projectional resolution of identity on the duals of certain Banach spaces
Bulletin of the Australian Mathematical Society | 1987-01-01 | Paper |
Subdifferentials, Local ε-Supports and Asplund Spaces
Journal of the London Mathematical Society | 1986-01-01 | Paper |
Norms with locally Lipschitzian derivatives
Israel Journal of Mathematics | 1983-01-01 | Paper |
On residuality of the set of rotund norms on a Banach space
Mathematische Annalen | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3576200 (Why is no real title available?) | 1977-01-01 | Paper |
