Quadratic Integer Programming Approach for Reliability Optimization of Cyber-Physical Systems Under Uncertainty Theory

[1]  Niraj K. Jha,et al.  MOGAC: a multiobjective genetic algorithm for hardware-software cosynthesis of distributed embedded systems , 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[2]  Dependable integrated clinical system architecture with runtime verification , 2017, ICCAD 2017.

[3]  Peter Marwedel,et al.  An Algorithm for Hardware/Software Partitioning Using Mixed Integer Linear Programming , 1997, Des. Autom. Embed. Syst..

[4]  Lui Sha,et al.  Dependable Model-driven Development of CPS , 2018, ACM Trans. Cyber Phys. Syst..

[5]  Anne Elisabeth Haxthausen,et al.  LYCOS: the Lyngby Co-Synthesis System , 1997, Des. Autom. Embed. Syst..

[6]  Monique Guignard,et al.  The convex hull heuristic for nonlinear integer programming problems with linear constraints and application to quadratic 0–1 problems , 2020, J. Heuristics.

[7]  Sabina Jeschke,et al.  Industrial Internet of Things: Cybermanufacturing Systems , 2016 .

[8]  Andrea Lodi,et al.  An evolutionary heuristic for quadratic 0-1 programming , 1999, Eur. J. Oper. Res..

[9]  Yu Jiang,et al.  Uncertain Model and Algorithm for Hardware/Software Partitioning , 2012, 2012 IEEE Computer Society Annual Symposium on VLSI.

[10]  Houbing Song,et al.  Uncertainty Theory Based Reliability-Centric Cyber-Physical System Design , 2019, 2019 International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData).

[11]  Laurence T. Yang,et al.  A Big Data-as-a-Service Framework: State-of-the-Art and Perspectives , 2018, IEEE Transactions on Big Data.

[12]  Giovanni De Micheli,et al.  Hardware-software cosynthesis for digital systems , 1993, IEEE Design & Test of Computers.

[13]  Peter Marwedel,et al.  Hardware/software partitioning using integer programming , 1996, Proceedings ED&TC European Design and Test Conference.

[14]  Jan Madsen,et al.  PACE: a dynamic programming algorithm for hardware/software partitioning , 1996, Proceedings of 4th International Workshop on Hardware/Software Co-Design. Codes/CASHE '96.

[15]  Ranga Vemuri,et al.  Hardware-software partitioning and pipelined scheduling of transformative applications , 2002, IEEE Trans. Very Large Scale Integr. Syst..

[16]  W. Art Chaovalitwongse,et al.  Quadratic Integer Programming: Complexity and Equivalent Forms , 2009, Encyclopedia of Optimization.

[17]  Petru Eles,et al.  System Level Hardware/Software Partitioning Based on Simulated Annealing and Tabu Search , 1997, Des. Autom. Embed. Syst..

[18]  Lui Sha,et al.  Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System , 2017, IEEE Transactions on Industrial Informatics.

[19]  Baoding Liu,et al.  Fuzzy random dependent-chance programming , 2001, IEEE Trans. Fuzzy Syst..

[20]  Yu Jiang,et al.  An Effective Heuristic-Based Approach for Partitioning , 2013, J. Appl. Math..

[21]  Srimat T. Chakradhar,et al.  A solvable class of quadratic 0-1 programming , 1992, Discret. Appl. Math..

[22]  Claudionor José Nunes Coelho,et al.  System-level partitioning with uncertainty , 1999, Proceedings of the Seventh International Workshop on Hardware/Software Codesign (CODES'99) (IEEE Cat. No.99TH8450).

[23]  Laurence T. Yang,et al.  A Cloud-Edge Computing Framework for Cyber-Physical-Social Services , 2017, IEEE Communications Magazine.

[24]  Mahmut T. Kandemir,et al.  Reliability-centric hardware/software co-design , 2005, Sixth international symposium on quality electronic design (isqed'05).

[25]  Frank Vahid,et al.  A binary-constraint search algorithm for minimizing hardware during hardware/software partitioning , 1994, EURO-DAC '94.

[26]  Yian-Kui Liu,et al.  Expected value of fuzzy variable and fuzzy expected value models , 2002, IEEE Trans. Fuzzy Syst..

[27]  Stephen P. Boyd,et al.  A simple effective heuristic for embedded mixed-integer quadratic programming , 2015, 2016 American Control Conference (ACC).

[28]  Daniel D. Gajski,et al.  Clustering for improved system-level functional partitioning , 1995 .

[29]  Baoding Liu,et al.  Uncertainty Theory - A Branch of Mathematics for Modeling Human Uncertainty , 2011, Studies in Computational Intelligence.