2 citations · 3 across the 2 of their papers we have counts for
2 papers
math.OC2014★ 2 cited
Compositional Symbolic Models for Networks of Incrementally Stable Control Systems
Giordano Pola, Pierdomenico Pepe, Maria Domenica Di Benedetto
Symbolic models have recently spurred the interest of the research community because they offer a correct-by-design approach to the control of embedded and cyber-physical systems.…
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…