6 search results - page 1 / 2 » Control Law Diagrams in Circus |
FM
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
IFM
2009
Springer
14 years 5 months ago
2009
Springer
ENTCS
2008
13 years 11 months ago
2008
Circus is a refinement language, in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and...
AROBOTS
2010
13 years 9 months ago
2010
We present novel exploration algorithms and a control law that enables the construction of Voronoi diagrams over unknown areas using a single vehicle equipped with range sensors. T...
CDC
2009
IEEE
14 years 3 months ago
2009
IEEE
— We present novel exploration algorithms and a control law that enable the construction of Voronoi diagrams over unknown areas using a single autonomous vehicle equipped with ra...