Rui Wang

发表

Semantic characterization of programmable logic controller programs

Ming Gu, Jia-Guang Sun, Litian Xiao, 2012, Math. Comput. Model..

Enhanced Resilient Sensor Attack Detection Using Fusion Interval and Measurement History

Xiaojuan Li, Yu Jiang, Yong Guan, 2018, 2018 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

L2-gain analysis for systems with interval time-varying delay based on the switching technique

Iasson Karafyllis, Xi-Ming Sun, Rui Wang, 2017, J. Frankl. Inst..

Preserving Location Privacy in Spatial Crowdsourcing Under Quality Control

Jun Liu, Daqing Gong, Rui Wang, 2019, IEEE Access.

Modeling and Validation of PLC-Controlled Systems: A Case Study

Min Zhou, Ming Gu, Jia-Guang Sun, 2012, 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering.

The identification of tea variety and producing area using laser-induced breakdown spectroscopy combined with neural network

Rui Wang, Xiaohong Ma, Zesheng Liu, 2019, Applied Optics and Photonics China.

Study on the data processing method applied to improve spectral stability of laser induced breakdown spectroscopy in soil analysis

Rui Wang, Li Huo, Xiaohong Ma, 2019, Applied Optics and Photonics China.

Formal Modeling and Verification of the Safety Critical Fire-Fighting Control System

Jie Zhang, Ya Wang, Xiaojuan Li, 2015, 2015 IEEE 39th Annual Computer Software and Applications Conference.

A Symmetric Electromagnetic-Circuit Simulator Based on the Extended Time-Domain Finite Element Method

Jian-Ming Jin, Rui Wang, Jianming Jin, 2008, IEEE Transactions on Microwave Theory and Techniques.

Formal Modelling and Analysis of TCP for Nodes Communication with ROS

Jie Zhang, Xiaojuan Li, Yong Guan, 2016, CollaborateCom.

Queue-aware distributive resource control for delay-sensitive two-hop MIMO cooperative systems

Vincent K. N. Lau, Rui Wang, Ying Cui, 2010, CDC.

Attitude control for spacecraft based on linear active disturbance rejection control technique

Liang Yu, Wei Wang, Rui Wang, 2015, 2015 IEEE International Conference on Information and Automation.

A novel time synchronization algorithm for underwater wireless sensor networks with mobility prediction

Zhide Li, Kai Zhang, Yuhan Dong, 2017, 2017 3rd IEEE International Conference on Computer and Communications (ICCC).

Verifying programmable logic controllers with abstraction

Hehua Zhang, Xiaoyu Song, Ming Gu, 2008, 2008 International Symposium on Industrial Embedded Systems.

Incorporation of frequency-dependent multiport lumped networks into a hybrid time-domain finite-element solver

Jian-Ming Jin, Rui Wang, 2009, 2009 IEEE Antennas and Propagation Society International Symposium.

Disturbance observer based generalized wind/solar/battery consistent control strategy for AC microgrids

Yonghao Gui, Rui Wang, Hailong Huang, 2020 .

Timed automata based motion planning for a self-assembly robot system

Ping Luo, Jie Zhang, Xiaojuan Li, 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).

Uncertainty Model for Configurable Hardware/Software and Resource Partitioning

Guowu Yang, Xiaoyu Song, William N. N. Hung, 2016, IEEE Transactions on Computers.

Component-Based Formal Modeling of PLC Systems

Jie Zhang, Xiaojuan Li, Yong Guan, 2013, J. Appl. Math..

A General and Transformable Model Platform for Emerging Multi-Gate MOSFETs

Jun Zhou, Rui Wang, Jiasheng Huang, 2017, IEEE Electron Device Letters.

Modelling and verification of program logic controllers using timed automata

Xiaoyu Song, Ming Gu, Rui Wang, 2007, IET Softw..

Model Checking for SpaceWire Link Interface Design Using Uppaal

Ping Luo, Jie Zhang, Xiaojuan Li, 2013, 2013 IEEE 37th Annual Computer Software and Applications Conference Workshops.

Brief Paper - Input-to-state stability of non-linear impulsive and switched delay systems

Jun Zhao, Rui Wang, Yue-E. Wang, 2013 .

Runtime Verification of Robots Collision Avoidance Case Study

Xiaojuan Li, Yu Jiang, Yong Guan, 2018, 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC).

Formal Specification and Code Generation of Programable Logic Controllers

Hai Wan, Xiaoyu Song, Ming Gu, 2009, 2009 14th IEEE International Conference on Engineering of Complex Computer Systems.

Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System

Lui Sha, Yu Jiang, Ming Gu, 2017, IEEE Transactions on Industrial Informatics.

A Flexible Time-Stepping Scheme for Hybrid Field-Circuit Simulation Based on the Extended Time-Domain Finite Element Method

Jian-Ming Jin, Rui Wang, 2010, IEEE Transactions on Advanced Packaging.

Formal Modeling and Automatic Code Synthesis for Robot System

Yu Jiang, Xiaojuan Li, Xiaoyu Song, 2017, 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS).

Stability and L1-gain analysis for switched positive T-S fuzzy systems under asynchronous switching

Junfei Qiao, Sheng-Li Du, Xudong Zhao, 2018, J. Frankl. Inst..

Generalized Lightweight Fiber Optic Aero-Engine Control Network

Wright-Patterson Afb, Biswanath Mukherjee, Rui Wang, 2011 .

Sensor attack detection using history based pairwise inconsistency

Yu Jiang, Xiaojuan Li, Houbing Song, 2018, Future Gener. Comput. Syst..

Use Runtime Verification to Improve the Quality of Medical Care Practice

Lui Sha, Mohammad Hosseini, Yu Jiang, 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering Companion (ICSE-C).

Propagation properties of partially coherent four-petal elliptic Gaussian vortex beams through non-Kolmogorov atmospheric turbulence

Xiaodong Zeng, Rui Wang, Zhejun Feng, 2019, Applied Optics and Photonics China.

Robust Optimal Cross-Layer Designs for TDD-OFDMA Systems with Imperfect CSIT and Unknown Interference: State-Space Approach Based on 1-bit ACK/NAK Feedbacks

Vincent K. N. Lau, Rui Wang, 2008, IEEE Trans. Commun..

Formal Modelling of PLC Systems by BIP Components

Jie Zhang, Xiaoyu Song, Yong Guan, 2013, 2013 IEEE 37th Annual Computer Software and Applications Conference.

Stability analysis of load frequency control for power systems with large delay periods based on switching technique

Rui Wang, Lin Jiang, Xu Li, 2015, 2015 American Control Conference (ACC).

L 2-gain analysis for networked predictive control systems based on switching method

Bo Wang, Guo-Ping Liu, Wei Wang, 2009, Int. J. Control.

Embedded System Design with Reliability-Centric Optimization

Jie Zhang, Yu Jiang, Xiaojuan Li, 2015, 2015 IEEE 39th Annual Computer Software and Applications Conference.

Vibration signature analysis of stator winding fault diagnosis in brushless synchronous generators

Rui Wang, Sanjib Kumar Panda, Sivakumar Nadarajan, 2015, 2015 IEEE International Transportation Electrification Conference (ITEC).

Matching algorithm for twig patterns with parent-child edges based on ordered pair: Matching algorithm for twig patterns with parent-child edges based on ordered pair

Rui Wang, Shi-qun Tao, 2009 .

Robust H∞ control for a class of uncertain nonlinear switched systems

Jun Zhao, Ben Niu, Rui Wang, 2012, Proceedings of 2012 UKACC International Conference on Control.

Formal modeling and synthesis of programmable logic controllers

Xiaoyu Song, Ming Gu, Rui Wang, 2011, Comput. Ind..

Hybrid field-circuit simulation based on the extended time-domain finite element method

Jian-Ming Jin, Rui Wang, 2010, 2010 Asia-Pacific International Symposium on Electromagnetic Compatibility.

A Practical Approach to Protocol-Agnostic Security for Multiparty Online Services

Shuo Chen, Rui Wang, Shaz Qadeer, 2014 .

Shape Reconstruction Using Differentiable Projections and Deep Priors

Subhransu Maji, Rui Wang, Matheus Gadelha, 2019, 2019 IEEE/CVF International Conference on Computer Vision (ICCV).

A framework of model checking guided test vector generation for the 6DOF manipulator

Jie Zhang, Xiaojuan Li, Yong Guan, 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).

Three-degree-of-freedom internal model control for unstable process

Rui Wang, K. Watanabe, 2007, SICE Annual Conference 2007.

Incorporation of feed-network modeling into the time-domain finite element analysis of antennas

Jian-Ming Jin, A.C. Cangellaris, Rui Wang, 2007, 2007 IEEE Antennas and Propagation Society International Symposium.

Executable Micro-Architecture Modeling and Automatic Verification of EtherCAT

Jie Zhang, Xiaojuan Li, Yong Guan, 2018, 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI).

Time-domain finite element modeling of antenna arrays with distributed feed network

Jian-Ming Jin, A.C. Cangellaris, Rui Wang, 2008, 2008 IEEE Antennas and Propagation Society International Symposium.

An enhanced flexible time-stepping scheme for the hybrid time-domain finite element method

Jian-Ming Jin, Rui Wang, 2010, 2010 IEEE Antennas and Propagation Society International Symposium.

A novel adaptive non-backstepping VUFC algorithm for a class of MIMO nonlinear systems with unknown dead-zones in pure-feedback form

Yanjun Liu, Rui Wang, Lian Yu, 2019, Nonlinear Analysis: Hybrid Systems.

Theoretical analysis and experimental verification of wideband multiple-input multiple-output imaging radar

Jingyang Wang, Rui Wang, Cheng Hu, 2019 .

Formal Analysis and Verification of DDS in ROS2

Jie Zhang, Xiaojuan Li, Yanan Liu, 2018, 2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).

A survey of condition-based maintenance modeling of multi-component systems

Nan Chen, Rui Wang, Nan Chen, 2016, 2016 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM).

Motion planning with Satisfiability Modulo Theories

Peng Gao, Jie Zhang, Jindong Tan, 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).

RIFF: Reduced Instruction Footprint for Coverage-Guided Fuzzing

Mingzhe Wang, Yu Jiang, Rui Wang, 2021, USENIX Annual Technical Conference.