Abstract: Provided are systems, methods, and computer program products for generating modified light emissions. The system includes at least one signal receiver arranged on a vehicle, at least one sensor arranged on the vehicle, at least one lighting system arranged on the vehicle, and at least one processor in communication with the at least one signal receiver, the at least one sensor, and the at least one lighting system, the at least one processor configured to: receive a first signal with the at least one signal receiver; receive sensor data from the at least one sensor; determine lighting data based on the first signal; generate a modified light emission by geometrically transforming the lighting pattern based on the sensor data; and control the at least one lighting system to output the modified light emission.

Abstract: Provided are systems, methods, and computer program products for generating modified light emissions. The system includes at least one signal receiver arranged on a vehicle, at least one sensor arranged on the vehicle, at least one lighting system arranged on the vehicle, and at least one processor in communication with the at least one signal receiver, the at least one sensor, and the at least one lighting system, the at least one processor configured to: receive a first signal with the at least one signal receiver; receive sensor data from the at least one sensor; determine lighting data based on the first signal; generate a modified light emission by geometrically transforming the lighting pattern based on the sensor data; and control the at least one lighting system to output the modified light emission.

Abstract: A method for specifying and synthesizing a synchronous digital circuit by first accepting a specification of an asynchronous system in which stored values are updated according to a set of state transition rules. For instance, the state transition rules are specified as a Term Rewriting System (TRS) in which each rule specifies a number of allowable state transitions, and includes a logical precondition on the stored values and a functional specification of the stored values after a state transition in terms of the stored values prior to the state transition. The specification of the asynchronous circuit is converted into a specification of a synchronous circuit in which a number of state transitions can occur during each clock period.