Accurate predictive mathematical models are urgently needed in synthetic biology to support the bottom-up design of complex biological systems, minimizing trial-and-error approaches. The majority of models used so far adopt empirical Hill functions to describe activation and repression in exogenously-controlled inducible promoter systems. However, such equations may be poorly predictive in practical situations that are typical in bottom-up design, including changes in promoter copy number, regulatory protein level, and cell load. In this work, we derived novel mechanistic steady-state models of the lux inducible system, used as case study, relying on different assumptions on regulatory protein (LuxR) and cognate promoter (Plux) concentrations, inducer-protein complex formation, and resource usage limitation. We demonstrated that a change in the considered model assumptions can significantly affect circuit output, and preliminary experimental data are in accordance with the simulated activation curves. We finally showed that the models are identifiable a priori (in the analytically tractable cases) and a posteriori, and we determined the specific experiments needed to parametrize them. Although a larger-scale experimental validation is required, in the future the reported models may support synthetic circuits output prediction in practical situations with unprecedented details.