Design of Autonomous, Distributed Systems

  • Tunc Simsek
  • Pravin Varaiya
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2211)


The paper describes an approach to organizing a collection of spatially distributed entities into a system capable of carrying out different complex missions. The entities are devices (artifacts like vehicles, sensors, actuators, computing and communications equipment) or agents or controllers, which control devices or other agents. The systemlevel capabilities concern complicated activities such as reconnaissance and logistics, requiring optimization, planning, and real-time control. The approach is to construct a system-level capability by appropriately organizing (composing) agents that can execute a small set of tasks. Agents are organized in a hierarchy: those at upper layers have authority over those at lower layers. The capability to conduct different missions is achieved by changing the agent architecture. The hybrid system specification and simulation language SHIFT is convenient for describing devices and agents, and their interaction. The paper gives two illustrative designs, one specified in SHIFT. To deploy systems organized in this way poses several research challenges, one of which is indicated here—the need for an exception-handling facility that provides a ‘fallback’ mechanism if an agent is unable to complete the task assigned to it.


Phase Portrait Connection Request Discrete Mode Hybrid Automaton Exceptional Situation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    A. M. Geoffrion, Elements of large-scale mathematical programming, Santa Monica, CA: Rand Corporation. Memorandum RM-5644-PR, 1968.Google Scholar
  2. 2.
    J. Marschak and R. Radner, Economic Theory of Teams, New Haven, CT: Yale University Press, 1972.Google Scholar
  3. 3.
    D. Fudenberg and J. Tirole, Game Theory, Cambridge, MA: MIT Press, 1991.Google Scholar
  4. 4.
    A. Deshpande, A. Gollu, and L. Semenzato, The shift programming language and run-time system for dynamic networks of hybrid automata, Technical Report UCBITS-PRR-97-7, California PATH, 1997.Google Scholar
  5. 5.
    A. Gollu and P. Varaiya, “Smartahs: a simulation framework for automated vehicles and highway systems,” Mathematical and Computer Modelling, 27(9-11):103–28, 1998.CrossRefMathSciNetGoogle Scholar
  6. 6.
    The SmartAHS Team, The SmartAHS manual., 1998
  7. 7.
    J. Borges de Sousa, A. Girard, and N. Kourjanskaia, “The mob shift simulation framework,” Proceedings of Third International Workshop on Very Large Floating Structures, pages 474–482, 1999.Google Scholar
  8. 8.
    K. Pitman, “Exceptional Situations in Lisp,” Proceedings for the First European Conference on the Practical Application of Lisp (EUROPAL’90), Churchill College, Cambridge, UK, March 27–29, 1990Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Tunc Simsek
    • 1
  • Pravin Varaiya
    • 1
  1. 1.University of CaliforniaBerkeleyUSA

Personalised recommendations