The Boeing Company

Bruce E Riggins

Michael A Carralero

Sudhakar Y Reddy

Kenneth W Fertig

Peter Bystrom

Elizabeth D Briones

Steven Warren Stakley

Klaasjan Hendrik Van Gelder

Michael A Beoletto

Tanner Scott Clark

Eric Allen Moore

Andrew J Hawkins

Keith E Cok

Allen Muroi

A broadcasting system for an autonomous vehicle is disclosed and includes an antenna, a plurality of sensors, one or more processors, and a memory coupled to the processors. The antenna is configured to send and receive wireless communication, and the antenna receives publically available wireless signals. The sensors are configured to generate signals indicating a real-time velocity and a real-time direction of travel of the autonomous vehicle. The processors are in communication with the antenna and the plurality of sensors. The memory stores data comprising program code that, when executed by the one or more processors, causes the system to receive as input the publically available wireless signals and the signals indicating the real-time velocity and the real-time direction of travel of the autonomous vehicle. The system is further caused to determine a real-time velocity and real-time direction of travel of autonomous vehicle.

Broadcasting system for autonomous vehicles

A method for simplifying a complex well-formed formula (WFF) may include receiving, in a formula processor, an input WFF and converting the input WFF into an initial bit array. The method may further include simplifying the initial bit array into a simplified bit array by removing predicates from the initial bit array not necessary to represent the input WFF. The method may include converting the simplified bit array into a return WFF in either a conjunctive normal form or a disjunctive normal form.

System and method for rapid management of logic formulas

Growing community of inventors

Whittier, CA, United States of America

Bruce E Riggins