Abstract: A global navigation satellite system (GNSS) spoofing detection and classification technique is provided. An optimization problem is formulated at the baseband correlator domain by using an optimization algorithm such as the Least Absolute Shrinkage and Selection Operator (LASSO) algorithm, for example. A model of correlator tap outputs of the intended received signal is created to form a dictionary of pre-computed waveform functions (e.g., triangle-like-shaped functions). Sparse signal processing can be leveraged to choose a decomposition of pre-computed waveform functions from the dictionary. The optimal solution of this minimization problem can discriminate the presence of a potential spoofing attack peak by observing the decomposition of two different code-phase values (authentic and spoofed) in a sparse vector output. A threshold can be used to mitigate false alarms. Furthermore, a variation of the minimization problem can be provided that enhances the dictionary to a higher resolution.

Abstract: Disclosed are various embodiments that enable the identification of the location of a computing device based on radio data. A radio map can be identified for an area. The computing device can measure signal strengths to reference points. The signal strengths can be compared to the radio map. The computing device can determine its location based on the comparison of the signal strengths to the radio map.

Abstract: A computing device can generate predictions for future consumptions for one or more buildings based on a variety of factors. The factors can include a local climate corresponding to each building, a mass and heat transfer for each building, a daily operation for each building, and an occupancy behavior for each building. A power flow can be determined for one or more power generators. The power flow can be determined based on the predictions of future consumption. A control input vector can be determined for the one or more buildings.

Abstract: A system and method are provided for detecting and estimating time synchronization attacks (TSAs) on Global Positioning System (GPS) receivers. The system and method can be implemented to address gaps in the known or proposed TSA detection solutions. In particular, the system and method can be implemented to provide a TSA countermeasure solution that: 1) provides a comprehensive countermeasure against different types of TSAs; 2) allows the GPS receiver to continue its normal operation, which is especially beneficial in Phasor Measurement Unit (PMU) applications where the network's normal operation cannot be interrupted; in other words, the solution not only detects TSAs, but also mitigates their effects so that the network can continue its normal operation; and 3) is relatively simple and capable of being integrated with current GPS receivers without having to alter the circuitry of the GSP receivers.

Abstract: Disclosed are various embodiments that enable the identification of the location of a computing device based on radio data. A radio map can be identified for an area. The computing device can measure signal strengths to reference points. The signal strengths can be compared to the radio map. The computing device can determine its location based on the comparison of the signal strengths to the radio map.

Abstract: Disclosed are various embodiments that enable the identification of the location of a computing device based on radio data. A radio map can be identified for an area. The computing device can measure signal strengths to reference points. The signal strengths can be compared to the radio map. The computing device can determine its location based on the comparison of the signal strengths to the radio map.

Abstract: A system and method are provided for detecting and estimating time synchronization attacks (TSAs) on Global Positioning System (GPS) receivers. The system and method can be implemented to address gaps in the known or proposed TSA detection solutions. In particular, the system and method can be implemented to provide a TSA countermeasure solution that: 1) provides a comprehensive countermeasure against different types of TSAs; 2) allows the GPS receiver to continue its normal operation, which is especially beneficial in Phasor Measurement Unit (PMU) applications where the network's normal operation cannot be interrupted; in other words, the solution not only detects TSAs, but also mitigates their effects so that the network can continue its normal operation; and 3) is relatively simple and capable of being integrated with current GPS receivers without having to alter the circuitry of the GSP receivers.

Abstract: A computing device can generate predictions for future consumptions for one or more buildings based on a variety of factors. The factors can include a local climate corresponding to each building, a mass and heat transfer for each building, a daily operation for each building, and an occupancy behavior for each building. A power flow can be determined for one or more power generators. The power flow can be determined based on the predictions of future consumption. A control input vector can be determined for the one or more buildings.

Abstract: Disclosed are various embodiments that enable the identification of the location of a computing device based on radio data. A radio map can be identified for an area. The computing device can measure signal strengths to reference points. The signal strengths can be compared to the radio map. The computing device can determine its location based on the comparison of the signal strengths to the radio map.