Giordano Pola

Available identifiers

zbMath Open pola.giordanoMaRDI QIDQ1004114

List of research outcomes

Publication	Date of Publication	Type
Approximate current state observability of discrete-time nonlinear systems under cyber-attacks	2023-09-21	Paper
Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications	2021-11-19	Paper
Data-driven controller synthesis for abstract systems with regular language specifications	2021-11-19	Paper
Approximate predictability of pseudo-metric systems	2020-05-07	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
Design of decentralized critical observers for networks of finite state machines: a formal method approach	2017-11-17	Paper
Integrated Design of Symbolic Controllers for Nonlinear Systems	2017-09-08	Paper
Symbolic Models for Nonlinear Control Systems Without Stability Assumptions	2017-09-08	Paper
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems	2017-08-25	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
On Approximate Diagnosability of Nonlinear Systems	2017-04-07	Paper
Equivalence Notions for Discrete-Time Stochastic Linear Control Systems	2016-11-25	Paper
Symbolic models for time-varying time-delay systems via alternating approximate bisimulation	2016-01-22	Paper
Compositional Symbolic Models for Networks of Incrementally Stable Control Systems	2014-03-31	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
Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations	2010-04-28	Paper
A structural approach to detectability for a class of hybrid systems	2009-06-10	Paper
Approximately bisimilar symbolic models for nonlinear control systems	2009-03-02	Paper
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems	2008-09-02	Paper
Equivalence of switching linear systems by bisimulation	2007-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q3437498	2007-05-09	Paper
https://portal.mardi4nfdi.de/entity/Q3434962	2007-05-03	Paper
Digital idle speed control of automotive engines: a safety problem for hybrid systems	2006-10-05	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Giordano Pola