15 citations · 36 across the 3 of their papers we have counts for
3 papers
cs.PL2009★ 13 cited
Using Ellipsoidal Domains to Analyze Control Systems Software
Fernando Alegre, Eric Feron, Santosh Pande
We propose a methodology for the automatic verification of safety properties of controllers based on dynamical systems, such as those typically used in avionics. In particular, our…
cs.SE2008★ 8 cited
Control software analysis, part II: Closed-loop analysis
Eric Feron, Fernando Alegre
The analysis and proper documentation of the properties of closed-loop control software presents many distinct aspects from the analysis of the same software running open-loop. Iss…
cs.SE2008★ 15 cited
Control software analysis, Part I Open-loop properties
Eric Feron, Fernando Alegre
As the digital world enters further into everyday life, questions are raised about the increasing challenges brought by the interaction of real-time software with physical devices.…