Hybrid-State System Modelling for Control, Estimation and Prediction in Vehicular Autonomy

This thesis studies the Hybrid-State System models and their properties for different pieces of the urban autonomy problem. For autonomous vehicles that operate in real-life, mixed-mode traffic, a number of parallels between the human-driven system and the autonomous counterpart can be identified and captured in the hybrid-state system setting. For the control subproblem of the urban autonomy, this thesis proposes a system architecture, related design approaches for autonomous mobile systems and guidelines for self-sufficient operation. Development of a tiered layout for a hybrid-state control in a series of stages as well as the integration of such a controller in the overall autonomy structure are proposed and demonstrated as part of multiple examples, including The Ohio State University participation in Defense Advanced Research Projects Agency Urban Challenge 2007. The hierarchical layout and the iterative design methodology enable design flexibility through compartmentalization of the overall system and helps prepare for various contingencies, as illustrated on specific development cycles. The sensing and perception part of the autonomy implementation relies on a probabilistic hybrid-state system modelling method that is developed for driver-behavior analysis and prediction. The model fits into and captures the central modules of the existing Human Driver Model. The stochastic models, based on the observable actions of the driver/vehicle interaction, are useful in representing the behavior of human-driven vehicles in certain urban decision-making ii scenarios. The Driver Intention Estimator presented utilizes the developed stochastic models to detect and predict high-level, abstract decisions of observed drivers through traffic scenarios and it can be expanded to form scenario safety estimation tools as demonstrated. As for the analysis of the developed estimators and as a useful tool for hybrid-state systems in general, this study develops an encoding scheme for discretestate systems as part of a hybrid-state hierarchy. The codes are command-based, in the sense that the interactions of the discrete states with the continuous states are exploited to attach significance to what each discrete state does to the continuous subsystem. The resultant codeset is independent of how the discrete-state transitions are designed and conventional binary tools such as truth tables and K-maps are easily applicable in the binary representation of the codes. Code-based representation of every possible combination of commands/behaviors governed by the discrete subsystem is useful in a number of design scenarios, an example of which is the generation of a consistent norm for discrete states. Such a norm is demonstrated to be useful in hybrid-state estimation.

[1]  Tankut Acarman,et al.  Test-Bed Formation for Human Driver Model Development and Decision Making , 2007, 2007 IEEE Intelligent Transportation Systems Conference.

[2]  Thomas A. Henzinger,et al.  HYTECH: a model checker for hybrid systems , 1997, International Journal on Software Tools for Technology Transfer.

[3]  Gerd Wanielik,et al.  A Unified Bayesian Approach for Object and Situation Assessment , 2011, IEEE Intelligent Transportation Systems Magazine.

[4]  S. Shankar Sastry,et al.  Model-predictive active steering and obstacle avoidance for autonomous ground vehicles , 2009 .

[5]  Umit Ozguner,et al.  Hybrid State System Development for Autonomous Vehicle Control in Urban Scenarios , 2008 .

[6]  Christian Laugier,et al.  Autonomous parallel parking of a nonholonomic vehicle , 1996, Proceedings of Conference on Intelligent Vehicles.

[7]  Umit Ozguner,et al.  THE OHIO STATE UNIVERSITY AUTOMATED HIGHWAY SYSTEM DEMONSTRATION VEHICLE , 1998 .

[8]  José Eugenio Naranjo,et al.  ACC+Stop&go maneuvers with throttle and brake fuzzy control , 2006, IEEE Transactions on Intelligent Transportation Systems.

[9]  J.E. Gayko,et al.  Development, evaluation and introduction of a lane keeping assistance system , 2004, IEEE Intelligent Vehicles Symposium, 2004.

[10]  Kevin M. Passino,et al.  Modeling and analysis of hybrid systems: examples , 1991, Proceedings of the 1991 IEEE International Symposium on Intelligent Control.

[11]  Y. Ho,et al.  Models of discrete event dynamic systems , 1990, IEEE Control Systems Magazine.

[12]  John N. Tsitsiklis,et al.  Complexity of stability and controllability of elementary hybrid systems , 1999, Autom..

[13]  Levent Acar,et al.  Design of structure-based hierarchies for distributed intelligent control , 1993 .

[14]  P. G. Gipps,et al.  A MODEL FOR THE STRUCTURE OF LANE-CHANGING DECISIONS , 1986 .

[15]  Gerd Wanielik,et al.  Situation Assessment for Automatic Lane-Change Maneuvers , 2010, IEEE Transactions on Intelligent Transportation Systems.

[16]  Umit Ozguner,et al.  Stability of a Set of Matrices with Applications to Automatic Control , 1997, Turkish Journal of Electrical Engineering and Computer Sciences.

[17]  Juris Hartmanis,et al.  On the State Assignment Problem for Sequential Machines. I , 1961, IRE Trans. Electron. Comput..

[18]  L. Baum,et al.  Statistical Inference for Probabilistic Functions of Finite State Markov Chains , 1966 .

[19]  Douglas B. Armstrong On the Efficient Assignment of Internal Codes to Sequential Machines , 1962, IRE Trans. Electron. Comput..

[20]  Jr. G. Forney,et al.  The viterbi algorithm , 1973 .

[21]  Alberto L. Sangiovanni-Vincentelli,et al.  Design of Observers for Hybrid Systems , 2002, HSCC.

[22]  Sergey V. Drakunov,et al.  Sliding-mode control in discrete-state and hybrid systems , 1996, IEEE Trans. Autom. Control..

[23]  Bernard Mettler,et al.  Agile autonomous guidance using spatial value functions , 2010 .

[24]  Cüneyt M. Özveren,et al.  Analysis and control of discrete event dynamic systems: a state space approach , 1989 .

[25]  William C. Brown Matrices and vector spaces , 1991 .

[26]  B. Song,et al.  Cognitive and hybrid model of human driver , 2000, Proceedings of the IEEE Intelligent Vehicles Symposium 2000 (Cat. No.00TH8511).

[27]  Keith Redmill,et al.  Ohio State University at the 2004 DARPA Grand Challenge: Developing a Completely Autonomous Vehicle , 2004, IEEE Intell. Syst..

[28]  L. Dubins On Curves of Minimal Length with a Constraint on Average Curvature, and with Prescribed Initial and Terminal Positions and Tangents , 1957 .

[29]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[30]  U. Ozguner,et al.  Human Driver Model and Driver Decision Making for Intersection Driving , 2007, 2007 IEEE Intelligent Vehicles Symposium.

[31]  M. Morari,et al.  Moving horizon estimation for hybrid systems , 2002, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[32]  Wassim G. Najm,et al.  ANALYSIS OF FATAL CRASHES DUE TO SIGNAL AND STOP SIGN VIOLATIONS , 2004 .

[33]  D. Mitrovic Driving event recognition by hidden Markov models , 1999, 4th International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Services. TELSIKS'99 (Cat. No.99EX365).

[34]  Umit Ozguner,et al.  An indoor intelligent transportation testbed for urban traffic scenarios , 2009, 2009 12th International IEEE Conference on Intelligent Transportation Systems.

[35]  U. Ozguner,et al.  Autonomy in a restricted world , 1997, Proceedings of Conference on Intelligent Transportation Systems.

[36]  Ümit Özgüner,et al.  Virtual sensor system: Merging the real world with a simulation environment , 2011, 2011 14th International IEEE Conference on Intelligent Transportation Systems (ITSC).

[37]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[38]  K.A. Redmill,et al.  Sensing and Sensor Fusion for the 2005 Desert Buckeyes DARPA Grand Challenge Offroad Autonomous Vehicle , 2006, 2006 IEEE Intelligent Vehicles Symposium.

[39]  Mischa Schwartz,et al.  Two extensions of the Viterbi algorithm , 1991, IEEE Trans. Inf. Theory.

[40]  Moshe Ben-Akiva,et al.  MODELS OF FREEWAY LANE CHANGING AND GAP ACCEPTANCE BEHAVIOR , 1996 .

[41]  Charles R. Johnson,et al.  Norms for vectors and matrices , 1985 .

[42]  Keith Redmill,et al.  Coordination of ad-hoc groups formed in urban environments , 2011, 2011 14th International IEEE Conference on Intelligent Transportation Systems (ITSC).

[43]  Mu-Han Wang,et al.  UNSIGNALIZED INTERSECTION CAPACITY AND LEVEL OF SERVICE: REVISITING CRITICAL GAP (WITH DISCUSSION AND CLOSURE) , 1995 .

[44]  Murat Doğruel Discrete and Hybrid State System Modeling and Analysis , 1997 .

[45]  Ümit Özgüner,et al.  Hybrid-state driver/vehicle modelling, estimation and prediction , 2010, 13th International IEEE Conference on Intelligent Transportation Systems.

[46]  Kevin M. Passino,et al.  Complex control system design and implementation using the NIST-RCS software library , 1999 .

[47]  Qi Chen,et al.  Intelligent off‐road navigation algorithms and strategies of Team Desert Buckeyes in the DARPA Grand Challenge 2005 , 2006, J. Field Robotics.

[48]  M. Karnaugh The map method for synthesis of combinational logic circuits , 1953, Transactions of the American Institute of Electrical Engineers, Part I: Communication and Electronics.

[49]  George A. Bekey,et al.  Identification of human driver models in car following , 1974 .

[50]  Delphine Cody,et al.  Human Driver Model Development , 2005 .

[51]  M. Hoedemaeker,et al.  Driving behaviour with ACC and the acceptance by individual drivers , 2000, ITSC2000. 2000 IEEE Intelligent Transportation Systems. Proceedings (Cat. No.00TH8493).