1: \begin{abstract}                          % Abstract of not more than 200 words.

2: By enabling the nodes or agents to solve small-sized subproblems to achieve coordination, distributed algorithms are favored  by many networked systems for efficient and scalable computation.  

3: While for convex problems, substantial distributed algorithms are available,  the results for the more broad nonconvex counterparts are extremely lacking.  

4: %The generalizations of the convex results to the applications in nonconvex settings  are generally  hampered  either due to  the failure of convergence or  \blue{at least the lack of theoretical convergence guarantee}.  

5: This paper develops a distributed algorithm for  a class of nonconvex and nonsmooth problems 

6: featured by i)  a nonconvex  objective formed by  both separate and composite objective components regarding the decision components of  interconnected agents,  ii) local bounded convex constraints,  and iii) coupled  linear constraints. This problem is directly originated from  smart buildings and is also broad in other domains. To provide a distributed algorithm with convergence guarantee, we revise the powerful tool of  alternating direction method of multiplier (ADMM) and proposed a proximal ADMM.  Specifically, noting that the main difficulty to establish the convergence  for the nonconvex and nonsmooth optimization within the ADMM framework is to assume the boundness  of dual updates, we propose to update  the dual variables in a discounted manner.  This leads to the establishment of a so-called 

7: sufficiently decreasing and lower bounded Lyapunov function, which is critical to establish the convergence. 

8: We prove that the method converges to some approximate stationary points.

9: We besides showcase the efficacy and performance of the method by a numerical example and the concrete application to multi-zone heating, ventilation, and air-conditioning (HVAC) control  in smart buildings. 

10: 

11: \end{abstract}

12: