Title :
Runtime conflict resolution mechanism for functional integrity of autonomous system
Author_Institution :
Hitachi Res. Lab., Hitachi Ltd., Hitachi, Japan
Abstract :
We address to a regulatory authority´s concern on a potential risk of hazard that guidance, navigation, and control(GN&C) software for autonomous systems may expose, when they operate in open, uncertain and dynamic environment. We argue an insight that the risk of hazard is derived from an unsatisfiable command of action that conflicts with systems operational limits and a prescribed safety constraints controlled by their operating environment. We replace conventional setting of GN&C problem with a scheme of computing a satisfiable series of input vectors subject to a set of constraints that represent the command of action, the safety constraints, and the operational limits. We built a coherently integrated runtime procedure comprised of a constraint solver of either computing the input vectors that realizes the command of action or detecting a subset of conflicting constraints, and a resolution mechanism of recovering satisfiabile setting. A numerical study shows that decision overhead is at most 15% of planning interval of the action, and thus our scheme is practically viable.
Keywords :
decision theory; mobile robots; Smart City projects; automated transport infrastructure; autonomous system; electric-powered autonomous mobile robots; functional integrity; hazard potential risk; integrated runtime procedure; runtime conflict resolution mechanism; Encoding; Heuristic algorithms; IP networks; Navigation; Runtime; Safety; Vectors;
Conference_Titel :
Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on
Conference_Location :
Los Angeles, CA
Print_ISBN :
978-1-4799-7746-8
DOI :
10.1109/CDC.2014.7039457