Maria Domenica Di Benedetto

From MaRDI portal
Person:313145

Available identifiers

zbMath Open di-benedetto.maria-domenicaWikidataQ57511771 ScholiaQ57511771MaRDI QIDQ313145

List of research outcomes

PublicationDate of PublicationType
Approximate current state observability of discrete-time nonlinear systems under cyber-attacks2023-09-21Paper
Data-driven controller synthesis for abstract systems with regular language specifications2021-11-19Paper
Secure Diagnosability of Hybrid Dynamical Systems2020-08-20Paper
Approximate predictability of pseudo-metric systems2020-05-07Paper
Robust stability of polytopic time-inhomogeneous Markov jump linear systems2019-12-19Paper
Symbolic control design of nonlinear systems with outputs2019-12-19Paper
On Approximate Diagnosability of Metric Systems2019-09-16Paper
Design of Symbolic Controllers for Networked Control Systems2019-03-28Paper
Bisimulation Equivalence of Discrete-Time Stochastic Linear Control Systems2018-09-18Paper
Decentralized Supervisory Control of Networks of Nonlinear Control Systems2018-09-18Paper
https://portal.mardi4nfdi.de/entity/Q53752532018-09-14Paper
Efficient routing redundancy design over lossy networks2018-05-30Paper
Optimal workload actuator balancing and dynamic reference generation in active vehicle control2018-01-15Paper
Design of decentralized critical observers for networks of finite state machines: a formal method approach2017-11-17Paper
Observability and diagnosability of finite state systems: a unifying framework2017-10-11Paper
Integrated Design of Symbolic Controllers for Nonlinear Systems2017-09-08Paper
Fault Tolerant Control of Multi-Hop Control Networks2017-09-08Paper
Verification of Hybrid Automata Diagnosability by Abstraction2017-08-25Paper
Approximate Abstractions of Stochastic Hybrid Systems2017-08-25Paper
Computation of Maximal Safe Sets for Switching Systems2017-07-12Paper
Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach2017-05-16Paper
A symbolic approach to the design of nonlinear networked control systems2017-05-16Paper
Symbolic Models for Networks of Control Systems2017-05-03Paper
Verification of Hybrid Automata Diagnosability With Measurement Uncertainty2017-05-03Paper
Controllability of Linear Systems With Switching Delays2017-05-03Paper
On Approximate Diagnosability of Nonlinear Systems2017-04-07Paper
Equivalence Notions for Discrete-Time Stochastic Linear Control Systems2016-11-25Paper
Resilient stabilization of multi-hop control networks subject to malicious attacks2016-09-09Paper
Nonlinear Control of a DC MicroGrid for the Integration of Photovoltaic Panels2016-08-02Paper
Nonlinear Control of an AC-connected DC MicroGrid2016-07-28Paper
Symbolic models for time-varying time-delay systems via alternating approximate bisimulation2016-01-22Paper
Randomized sampling for large zero-sum games2015-08-27Paper
Co-design of controller and routing redundancy over a wireless network2015-08-21Paper
Discrete state observability of hybrid systems2014-11-07Paper
Theory and computation of discrete state space decompositions for hybrid systems2014-08-12Paper
Reply to the discussion on: ``Theory and computation of discrete state space2014-08-12Paper
Wireless ventilation control for large‐scale systems: The mining industrial case2014-06-25Paper
The design of dynamical observers for hybrid systems: theory and application to an automotive control problem2014-04-14Paper
Compositional Symbolic Models for Networks of Incrementally Stable Control Systems2014-03-31Paper
Modeling, analysis and design of linear systems with switching delays2014-01-08Paper
Digital self-triggered robust control of nonlinear systems2013-12-19Paper
Fault detection and isolation of malicious nodes in MIMO Multi-hop Control Networks2013-09-09Paper
Energy-efficient sampling of networked control systems over IEEE 802.15.4 wireless networks2013-07-30Paper
Symbolic models for nonlinear control systems affected by disturbances2012-12-27Paper
Stabilizability of linear switching systems2011-05-17Paper
A complexity reduction approach to detectability of switching systems2010-11-19Paper
Symbolic models for nonlinear time-delay systems using approximate bisimulations2010-10-07Paper
Integrated symbolic control design for nonlinear systems with infinite states specifications2010-06-14Paper
Understanding deadlock and livelock behaviors in hybrid control systems2009-07-27Paper
A structural approach to detectability for a class of hybrid systems2009-06-10Paper
Hybrid Modelling, Power Management and Stabilization of Cognitive Radio Networks2009-04-30Paper
Approximate equivalence and synchronization of metric transition systems2009-03-02Paper
Markov Set-Chains as Abstractions of Stochastic Hybrid Systems2008-09-02Paper
Non-linear control of electromagnetic valves for camless engines2008-01-31Paper
Equivalence of switching linear systems by bisimulation2007-09-03Paper
https://portal.mardi4nfdi.de/entity/Q34349622007-05-03Paper
Hybrid Systems: Computation and Control2007-05-02Paper
Digital idle speed control of automotive engines: a safety problem for hybrid systems2006-10-05Paper
Efficient Solution of Optimal Control Problems Using Hybrid Systems2005-09-15Paper
https://portal.mardi4nfdi.de/entity/Q47365752004-08-09Paper
Individual cylinder characteristic estimation for a spark injection engine2003-07-29Paper
https://portal.mardi4nfdi.de/entity/Q45524662002-09-03Paper
Model matching for finite-state machines2002-07-21Paper
Hybrid control of force transients for multi-point injection engines2001-10-09Paper
https://portal.mardi4nfdi.de/entity/Q49533792001-06-18Paper
https://portal.mardi4nfdi.de/entity/Q49533822000-05-09Paper
https://portal.mardi4nfdi.de/entity/Q49533852000-05-09Paper
https://portal.mardi4nfdi.de/entity/Q42404851999-05-03Paper
Asymptotic model matching for nonlinear systems1995-06-29Paper
https://portal.mardi4nfdi.de/entity/Q31407701995-06-11Paper
Necessary conditions for asymptotic tracking in nonlinear systems1995-03-02Paper
https://portal.mardi4nfdi.de/entity/Q43000841994-09-08Paper
The nonlinear interactor and its application to input-output decoupling1994-08-21Paper
Approximate output tracking for nonlinear non‐minimum phase systems with an application to flight control1994-07-03Paper
Inversion of nonlinear time-varying systems1994-03-27Paper
https://portal.mardi4nfdi.de/entity/Q46932711993-07-21Paper
https://portal.mardi4nfdi.de/entity/Q46955001993-06-29Paper
Approximation by regular input-output maps1992-10-06Paper
https://portal.mardi4nfdi.de/entity/Q33487691990-01-01Paper
Nonlinear strong model matching1990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34948201990-01-01Paper
Hamiltonian adaptive control of spacecraft1990-01-01Paper
Rank Invariants of Nonlinear Systems1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38339401989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38264271988-01-01Paper
Synthesis of an internal model for non-linear output regulation1987-01-01Paper
On the equivalence of the invariant subdistribution algorithm and the structure algorithm1986-01-01Paper
The Matching of Nonlinear Models via Dynamic State Feedback1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37552871986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38353751986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36759981985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37277881985-01-01Paper
Triangular canonical forms for bilinear systems1978-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Maria Domenica Di Benedetto