To accept input range from 6-15V and produce constant 12V ouput @9A is not an easy task, but it is not impossible ..
To do that you will need BUCK-BOOST converter ..
Here is an example og such a converter:
"The 12V/5A Buck-Boost Converter - Input 5-32V Output 12V"
**broken link removed**
Although it was design for 5A output current, by changing Rsense (≈10mΩ) and adding another set of MOSFETS in parallel with those already in the circuit, you should be able to increase the output current to, say, 10A ..
Regards,
IanP