Jinxin Ruan

Learn More
We give a relation between a logic of knowledge and change, with a semantics on Kripke models, and a logic of knowledge and time, with a semantics on interpreted systems. More in particular, given an epistemic state and a formula in action model logic, we construct an interpreted system relative to that epistemic state and that formula that satisfies the(More)
—This paper presents a study of RF MEMS switch designed to be integrated in tunable filters for applications from W-frequency band to V-frequency band. Along the whole process, we go into detail of each procedure to present a complete study from design to fabrication and characterization of a RF-MEMS switch. The proposed concepts are validated by(More)
  • 1