The following pages link to Giordano Pola (Q1004114):
Displayed 35 items.
- (Q534368) (redirect page) (← links)
- Stabilizability of linear switching systems (Q534369) (← links)
- Approximately bisimilar symbolic models for nonlinear control systems (Q1004115) (← links)
- A structural approach to detectability for a class of hybrid systems (Q1023135) (← links)
- Design of decentralized critical observers for networks of finite state machines: a formal method approach (Q1678627) (← links)
- Symbolic models for nonlinear time-delay systems using approximate bisimulations (Q1959416) (← links)
- Approximate predictability of pseudo-metric systems (Q2178224) (← links)
- Symbolic control design of nonlinear systems with outputs (Q2280917) (← links)
- Digital idle speed control of automotive engines: a safety problem for hybrid systems (Q2507861) (← links)
- Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications (Q2665343) (← links)
- Data-driven controller synthesis for abstract systems with regular language specifications (Q2665709) (← links)
- Symbolic Models for Networks of Control Systems (Q2980313) (← links)
- Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach (Q2983299) (← links)
- A symbolic approach to the design of nonlinear networked control systems (Q2986773) (← links)
- A complexity reduction approach to detectability of switching systems (Q3058332) (← links)
- (Q3434962) (← links)
- (Q3437498) (← links)
- Symbolic models for time-varying time-delay systems via alternating approximate bisimulation (Q3465677) (← links)
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems (Q3523108) (← links)
- Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations (Q3557942) (← links)
- Design of Symbolic Controllers for Networked Control Systems (Q4629861) (← links)
- Bisimulation Equivalence of Discrete-Time Stochastic Linear Control Systems (Q4682237) (← links)
- Decentralized Supervisory Control of Networks of Nonlinear Control Systems (Q4682337) (← links)
- Symbolic models for nonlinear control systems affected by disturbances (Q4897709) (← links)
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems (Q4978661) (← links)
- On Approximate Diagnosability of Metric Systems (Q5194656) (← links)
- Integrated Design of Symbolic Controllers for Nonlinear Systems (Q5352729) (← links)
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions (Q5352883) (← links)
- (Q5375253) (← links)
- Equivalence of switching linear systems by bisimulation (Q5758269) (← links)
- Approximate current state observability of discrete-time nonlinear systems under cyber-attacks (Q6052175) (← links)
- Integrated symbolic control design for nonlinear systems with infinite states specifications (Q6219254) (← links)
- Compositional Symbolic Models for Networks of Incrementally Stable Control Systems (Q6250331) (← links)
- Equivalence Notions for Discrete-Time Stochastic Linear Control Systems (Q6280125) (← links)
- On Approximate Diagnosability of Nonlinear Systems (Q6285261) (← links)