On the generation of organizational architectures using Petri nets

Bibliography: p. 22-23.Partial support by the U.S. Office of Naval Research under Contract No. N00014-84-K-0519 Partial support by the Joint Directors of Laboratories under Contract No. ONR/N00014-85-K-0782by Pascal A. Remy, Alexander H. Levis

Computer aided Petri net design for decision-making organizations

Caption title. "August 1988."Includes bibliographical references.Support provided by the Basic Research Group of the Technical Panel on C3 of the Joint Directors of Laboratories through the Office of Naval Research under contract N00014-85-K-0782I.M. Kyratzoglou, Alexander H. Levis

Generation of architectures for distributed intelligence systems

Cover title. "Invited paper to appear in the Proceedings of the 1989 IEEE International Conference on Control and Applications (ICCON '89), Jerusalem, Israel, April 1989."Includes bibliographical references.Supported by the Office of Naval Research. N00014-84-K-0519Alexander H. Levis

Artificial Intelligence and Systems Theory: Applied to Cooperative Robots

This paper describes an approach to the design of a population of cooperative robots based on concepts borrowed from Systems Theory and Artificial Intelligence. The research has been developed under the SocRob project, carried out by the Intelligent Systems Laboratory at the Institute for Systems and Robotics - Instituto Superior Tecnico (ISR/IST) in Lisbon. The acronym of the project stands both for "Society of Robots" and "Soccer Robots", the case study where we are testing our population of robots. Designing soccer robots is a very challenging problem, where the robots must act not only to shoot a ball towards the goal, but also to detect and avoid static (walls, stopped robots) and dynamic (moving robots) obstacles. Furthermore, they must cooperate to defeat an opposing team. Our past and current research in soccer robotics includes cooperative sensor fusion for world modeling, object recognition and tracking, robot navigation, multi-robot distributed task planning and coordination, including cooperative reinforcement learning in cooperative and adversarial environments, and behavior-based architectures for real time task execution of cooperating robot teams

A Three-Level Process Framework for Contract-Based Dynamic Service Outsourcing

Service outsourcing is the business paradigm, in which an organization has part of its business process performed by a service provider. In dynamic markets, service providers are selected on the fly during process enactment. The cooperation between the parties is\ud specified in a dynamically made electronic contract. This contract includes a process specification that is tailored towards service matchmaking and crossorganizational process enactment and hence has to conform to specific market and specification standards. Process enactment, however, relies on intraorganizational process specifications that have to comply with the infrastructure available in an organization. In this position paper, we present a three-level process specification framework for dynamic contract-based\ud service outsourcing. This framework relates the two process specification levels through a third, conceptual level. This approached is inspired by the well-known ANSI-SPARC model for data management. We show how the framework can be placed in the context of infrastructures for cross-organizational process support

Reliability models for dataflow computer systems

The demands for concurrent operation within a computer system and the representation of parallelism in programming languages have yielded a new form of program representation known as data flow (DENN 74, DENN 75, TREL 82a). A new model based on data flow principles for parallel computations and parallel computer systems is presented. Necessary conditions for liveness and deadlock freeness in data flow graphs are derived. The data flow graph is used as a model to represent asynchronous concurrent computer architectures including data flow computers

A language for information commerce processes

Automatizing information commerce requires languages to represent the typical information commerce processes. Existing languages and standards cover either only very specific types of business models or are too general to capture in a concise way the specific properties of information commerce processes. We introduce a language that is specifically designed for information commerce. It can be directly used for the implementation of the processes and communication required in information commerce. It allows to cover existing business models that are known either from standard proposals or existing information commerce applications on the Internet. The language has a concise logical semantics. In this paper we present the language concepts and an implementation architecture

Synthesis of distributed command and control for the outer air battle

Caption title.Includes bibliographical references (p. 13).Supported by the Office of Naval Research. N00014-84-K-0519(NR 649 003)Stamos K. Andreadakis, Alexander H. Levis