175 citations · 250 across the 25 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
math.OC2010★ 3 cited
Symbolic Models for Nonlinear Time-Varying Time-Delay Systems via Alternating Approximate Bisimulation
Giordano Pola, Pierdomenico Pepe, Maria Domenica Di Benedetto
Time-delay systems are an important class of dynamical systems that provide a solid mathematical framework to deal with many application domains of interest. In this paper we focus…
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…