3 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.LO2024
Towards Automatic Linearization via SMT Solving
Jian Cao, Liyong Lin, Lele Li
Mathematical optimization is ubiquitous in modern applications. However, in practice, we often need to use nonlinear optimization models, for which the existing optimization tools…
cs.NE2023
Scheduling Distributed Flexible Assembly Lines using Safe Reinforcement Learning with Soft Shielding
Lele Li, Liyong Lin
Highly automated assembly lines enable significant productivity gains in the manufacturing industry, particularly in mass production condition. Nonetheless, challenges persist in j…
eess.SY2018★ 3 cited
Timed Discrete-Event Systems are Synchronous Product Structures
Liyong Lin
Timed discrete-event systems (TDES), which is a modelling formalism proposed by Brandin and Wonham, can be used for modelling scheduling and production planning problems. This pape…