| Publication | Date of Publication | Type |
|---|
| Approximate current state observability of discrete-time nonlinear systems under cyber-attacks | 2023-09-21 | Paper |
| Data-driven controller synthesis for abstract systems with regular language specifications | 2021-11-19 | Paper |
| Secure Diagnosability of Hybrid Dynamical Systems | 2020-08-20 | Paper |
| Approximate predictability of pseudo-metric systems | 2020-05-07 | Paper |
| Robust stability of polytopic time-inhomogeneous Markov jump linear systems | 2019-12-19 | Paper |
| Symbolic control design of nonlinear systems with outputs | 2019-12-19 | Paper |
| On Approximate Diagnosability of Metric Systems | 2019-09-16 | Paper |
| Design of Symbolic Controllers for Networked Control Systems | 2019-03-28 | Paper |
| Bisimulation Equivalence of Discrete-Time Stochastic Linear Control Systems | 2018-09-18 | Paper |
| Decentralized Supervisory Control of Networks of Nonlinear Control Systems | 2018-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5375253 | 2018-09-14 | Paper |
| Efficient routing redundancy design over lossy networks | 2018-05-30 | Paper |
| Optimal workload actuator balancing and dynamic reference generation in active vehicle control | 2018-01-15 | Paper |
| Design of decentralized critical observers for networks of finite state machines: a formal method approach | 2017-11-17 | Paper |
| Observability and diagnosability of finite state systems: a unifying framework | 2017-10-11 | Paper |
| Integrated Design of Symbolic Controllers for Nonlinear Systems | 2017-09-08 | Paper |
| Fault Tolerant Control of Multi-Hop Control Networks | 2017-09-08 | Paper |
| Verification of Hybrid Automata Diagnosability by Abstraction | 2017-08-25 | Paper |
| Approximate Abstractions of Stochastic Hybrid Systems | 2017-08-25 | Paper |
| Computation of Maximal Safe Sets for Switching Systems | 2017-07-12 | Paper |
| Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach | 2017-05-16 | Paper |
| A symbolic approach to the design of nonlinear networked control systems | 2017-05-16 | Paper |
| Symbolic Models for Networks of Control Systems | 2017-05-03 | Paper |
| Verification of Hybrid Automata Diagnosability With Measurement Uncertainty | 2017-05-03 | Paper |
| Controllability of Linear Systems With Switching Delays | 2017-05-03 | Paper |
| Resilient stabilization of multi-hop control networks subject to malicious attacks | 2016-09-09 | Paper |
| Symbolic models for time-varying time-delay systems via alternating approximate bisimulation | 2016-01-22 | Paper |
| Randomized sampling for large zero-sum games | 2015-08-27 | Paper |
| Discrete state observability of hybrid systems | 2014-11-07 | Paper |
| Theory and computation of discrete state space decompositions for hybrid systems | 2014-08-12 | Paper |
| Reply to the discussion on: ``Theory and computation of discrete state space | 2014-08-12 | Paper |
| Wireless ventilation control for large‐scale systems: The mining industrial case | 2014-06-25 | Paper |
| The design of dynamical observers for hybrid systems: theory and application to an automotive control problem | 2014-04-14 | Paper |
| Digital self-triggered robust control of nonlinear systems | 2013-12-19 | Paper |
| Energy-efficient sampling of networked control systems over IEEE 802.15.4 wireless networks | 2013-07-30 | Paper |
| Symbolic models for nonlinear control systems affected by disturbances | 2012-12-27 | Paper |
| Stabilizability of linear switching systems | 2011-05-17 | Paper |
| A complexity reduction approach to detectability of switching systems | 2010-11-19 | Paper |
| Symbolic models for nonlinear time-delay systems using approximate bisimulations | 2010-10-07 | Paper |
| Integrated symbolic control design for nonlinear systems with infinite states specifications | 2010-06-14 | Paper |
| Understanding deadlock and livelock behaviors in hybrid control systems | 2009-07-27 | Paper |
| A structural approach to detectability for a class of hybrid systems | 2009-06-10 | Paper |
| Hybrid Modelling, Power Management and Stabilization of Cognitive Radio Networks | 2009-04-30 | Paper |
| Approximate equivalence and synchronization of metric transition systems | 2009-03-02 | Paper |
| Markov Set-Chains as Abstractions of Stochastic Hybrid Systems | 2008-09-02 | Paper |
| Non-linear control of electromagnetic valves for camless engines | 2008-01-31 | Paper |
| Equivalence of switching linear systems by bisimulation | 2007-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3434962 | 2007-05-03 | Paper |
| Hybrid Systems: Computation and Control | 2007-05-02 | Paper |
| Digital idle speed control of automotive engines: a safety problem for hybrid systems | 2006-10-05 | Paper |
| Efficient Solution of Optimal Control Problems Using Hybrid Systems | 2005-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736575 | 2004-08-09 | Paper |
| Individual cylinder characteristic estimation for a spark injection engine | 2003-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552466 | 2002-09-03 | Paper |
| Model matching for finite-state machines | 2002-07-21 | Paper |
| Hybrid control of force transients for multi-point injection engines | 2001-10-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4953379 | 2001-06-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4953382 | 2000-05-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4953385 | 2000-05-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4240485 | 1999-05-03 | Paper |
| Asymptotic model matching for nonlinear systems | 1995-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3140770 | 1995-06-11 | Paper |
| Necessary conditions for asymptotic tracking in nonlinear systems | 1995-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4300084 | 1994-09-08 | Paper |
| The nonlinear interactor and its application to input-output decoupling | 1994-08-21 | Paper |
| Approximate output tracking for nonlinear non‐minimum phase systems with an application to flight control | 1994-07-03 | Paper |
| Inversion of nonlinear time-varying systems | 1994-03-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4693271 | 1993-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4695500 | 1993-06-29 | Paper |
| Approximation by regular input-output maps | 1992-10-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3348769 | 1990-01-01 | Paper |
| Nonlinear strong model matching | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3494820 | 1990-01-01 | Paper |
| Hamiltonian adaptive control of spacecraft | 1990-01-01 | Paper |
| Rank Invariants of Nonlinear Systems | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3833940 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3826427 | 1988-01-01 | Paper |
| Synthesis of an internal model for non-linear output regulation | 1987-01-01 | Paper |
| On the equivalence of the invariant subdistribution algorithm and the structure algorithm | 1986-01-01 | Paper |
| The Matching of Nonlinear Models via Dynamic State Feedback | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3755287 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3835375 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3675998 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3727788 | 1985-01-01 | Paper |
| Triangular canonical forms for bilinear systems | 1978-01-01 | Paper |
