Hybrid controller design for multi-agent systems

This publication has 13 references indexed in Scilit:

• Model-checking for real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Two examples of verification of multirate timed automata with Kronos
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Computer-Aided Verification of Coordinating Processes
  Published by Walter de Gruyter GmbH ,1995
• HSIS
  Published by Association for Computing Machinery (ACM) ,1994
• Longitudinal control of the lead car of a platoon
  IEEE Transactions on Vehicular Technology, 1994
• Multiple agent hybrid control architecture
  Published by Springer Nature ,1993
• Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
  Published by Springer Nature ,1993
• Longitudinal Vehicle Controller Design for IVHS Systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1991
• State-space solutions to standard H/sub 2/ and H/sub infinity / control problems
  IEEE Transactions on Automatic Control, 1989
• Optimal Control Theory
  Published by Springer Nature ,1974