Author： Ochsenschläger Peter Repp Jürgen Rieke Roland
Publisher： Taylor & Francis Ltd
ISSN： 1362-3079
Source： Journal of Experimental & Theoretical Artificial Intelligence, Vol.12, Iss.4, 2000-10, pp. : 447-459
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Behaviour of systems is described by formal languages: the sets of all sequences of actions. Regarding abstraction, alphabetic language homomorphisms are used to compute abstract behaviours. To avoid loss of important information when moving to the abstract level, abstracting homomorphisms have to satisfy a certain property called simplicity on the concrete (i.e. not abstracted) behaviour. To be suitable for verification of so called co-operating systems, a modified type of satisfaction relation for system properties (approximate satisfaction) is considered. The well known state space explosion problem is tackled by a compositional method formalized by so called co-operation products of formal languages.
Related content
Assembly with co-operating robots
By Cardarelli Gino Palumbo Mario Pelagagge Pacifico Marcello
Assembly Automation, Vol. 15, Iss. 2, 1995-02 ,pp. :
Access to resources
Recommend
