4 citations · 7 across the 6 of their papers we have counts for
Showing math.OCShow all
2 papers · 1 filter
math.OC2012
Symbolic models for nonlinear control systems affected by disturbances
Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto
In the last few years there has been a growing interest in the use of symbolic models for the formal verification and control design of purely continuous or hybrid systems. Symboli…
math.OC2010★ 1 cited
Integrated symbolic control design for nonlinear systems with infinite states specifications
Giordano Pola, Alessandro Borri, Maria D. Di Benedetto
Discrete abstractions of continuous and hybrid systems have recently been the topic of great interest from both the control systems and the computer science communities, because th…