Jianliang Yi

  • Citations Per Year
Learn More
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. Resource-related concerns are not closely linked with current xUML model-based software development although they are critical for embedded systems. We describe how to integrate(More)
In a pure sensor network thousands of sensors are distributed over a large area. Sensor data is relayed from sensor node to node until it reaches the edge node, where it is then routed by wire to the host. In this paper we study the effect of data collection on the battery and buffer of a sensor node, and on the overall sensor network. We determine the(More)
Mission-critical cyber-physical systems must be resilient to all classes of failures, both hardware and software components. Failures affecting a systempsilas ability to accurately control its physical actions are of special concern, requiring a meta-level monitoring and reaction ability to enable high-performance nominal and safe post-failure operation.(More)
The TableSat single degree-of-freedom tabletop satellite platform was developed to support education and research activities in embedded software and control systems. This paper describes the TableSat system, actuated by a pair of computer fans as thrusters, and then focuses on the evolution of its software for sensor calibration and fault-tolerant control.(More)
An exotic meson, the π1(1400) with J PC = 1−+, has been seen to decay into a p-wave ηπ system. If this decay conserves flavor SU(3), then it can be shown that this exotic meson must be a four-quark state (qq̄+ qq̄) belonging to a flavor 10 ⊕ 10 representation of SU(3). In contrast, the π1(1600) with a substantial decay mode into η′π is likely to be a member(More)
  • 1