23
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Article: not found

      Verified hybrid controllers for automated vehicles

      Read this article at

      ScienceOpenPublisher
      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Most cited references31

          • Record: found
          • Abstract: not found
          • Article: not found

          Smart cars on smart roads: problems of control

          P. Varaiya (1993)
            Bookmark
            • Record: found
            • Abstract: not found
            • Book: not found

            Temporal Verification of Reactive Systems

              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Autonomous intelligent cruise control

                Bookmark

                Author and article information

                Journal
                IEEE Transactions on Automatic Control
                IEEE Trans. Automat. Contr.
                Institute of Electrical and Electronics Engineers (IEEE)
                00189286
                April 1998
                : 43
                : 4
                : 522-539
                Article
                10.1109/9.664155
                7cd9ad58-44c3-405c-a687-8abc263220ce
                History

                Comments

                Comment on this article