The paper introduces effective and straightforward algorithms of both explicit and implicit model-following designs with state derivative measurement feedback in novel reciprocal state space form (RSS) to handle state...The paper introduces effective and straightforward algorithms of both explicit and implicit model-following designs with state derivative measurement feedback in novel reciprocal state space form (RSS) to handle state derivative related performance output and state related performance output design cases. Applying proposed algorithms, no integrators are required. Consequently, implementation is simple and low-cost. Simulation has also been carried out to verify the proposed algorithms. Since acceleration can only be modeled as state derivative in state space form and micro-accelerometer which is the state derivative sensor is getting more and more attentions in many microelectromechanical and nanoelectromechanical systems (MEMS/NEMS) applications, the proposed algorithms are suitable for MEMS/NEMS systems installed with micro-accelerometers.展开更多
The short-range wireless communication technology has advanced considerably and provides the feasibility of train-train(T2T)communication link in the communication-based train control system.The introduction of the T2...The short-range wireless communication technology has advanced considerably and provides the feasibility of train-train(T2T)communication link in the communication-based train control system.The introduction of the T2T link would reduce the headway and improve operational efficiency.Formal methods are system design techniques that use rigorously specified mathematical models to ensure all behaviors work as expected.And it is exactly the functional safety verification needed.Therefore,to deal with the functional safety verification of the T2T link,an untimed colored petri net model is first constructed.Secondly,the verification process is performed.Conclusions can be drawn from the state space report and the computation tree logic queries.Lastly,the model is parameterized,and then data log files are obtained for further performance measurement.Results show that the proposed criteria are satisfied and there are no defects in the basic design requirements.The transmission delay has considered the reconnection,transmission errors and the interruption.The probability of the delay lower than 150 ms accounts for 98.106%,which meets the specification and the previous field test.展开更多
文摘The paper introduces effective and straightforward algorithms of both explicit and implicit model-following designs with state derivative measurement feedback in novel reciprocal state space form (RSS) to handle state derivative related performance output and state related performance output design cases. Applying proposed algorithms, no integrators are required. Consequently, implementation is simple and low-cost. Simulation has also been carried out to verify the proposed algorithms. Since acceleration can only be modeled as state derivative in state space form and micro-accelerometer which is the state derivative sensor is getting more and more attentions in many microelectromechanical and nanoelectromechanical systems (MEMS/NEMS) applications, the proposed algorithms are suitable for MEMS/NEMS systems installed with micro-accelerometers.
基金National Natural Science Foundation of China(No.61963023)。
文摘The short-range wireless communication technology has advanced considerably and provides the feasibility of train-train(T2T)communication link in the communication-based train control system.The introduction of the T2T link would reduce the headway and improve operational efficiency.Formal methods are system design techniques that use rigorously specified mathematical models to ensure all behaviors work as expected.And it is exactly the functional safety verification needed.Therefore,to deal with the functional safety verification of the T2T link,an untimed colored petri net model is first constructed.Secondly,the verification process is performed.Conclusions can be drawn from the state space report and the computation tree logic queries.Lastly,the model is parameterized,and then data log files are obtained for further performance measurement.Results show that the proposed criteria are satisfied and there are no defects in the basic design requirements.The transmission delay has considered the reconnection,transmission errors and the interruption.The probability of the delay lower than 150 ms accounts for 98.106%,which meets the specification and the previous field test.
