Found this on another Hyundai Forum:

So here is some info I have dug up on how to tell how you sensors will work. ALL electronic devices have an FCC ID # printed on them. Take that number and search on FCC.gov. I have found using only the 1st 3 characters works best because if you use the complete number you must exactly match spaces dashes etc or it finds nothing. With the 3 characters you may get a few page list but it can be looked through quickly. The FCC site will give the manufacturer and a description of how the device works. In my case the Tiburon and Santa Fe senors both were 315 MHZ low but the Tiburon was ASK (Amplitude Shift Key) modulation and the Santa Fe used FSK (Frequency Shift Key) modulation. basically the ASK is a 1 when the carrier is on and a zero when the carrier is off, FSK slightly shifts the frequency to create the 1 and zero. If you don't have the TPMS in hand to read the number, many listings on ebay you can read the number.
thread link - http://www.hyundai-forums.com/187-cm...s-sensors.html