zhensong's profile

Recent Activity

• 21:22: posted Siemens Inverter (DC-AC) Compact Type
• 20:58: posted SIMOVERT MASTERDRIVES Motion Control
• 18:07: posted Computing Differential Invariants of Hybrid Systems as Fixedpoints

• 21:45: posted OPC UA – Service-oriented Architecture for Industrial Applications
• 19:51: posted {OPC UA}: 5 things everyone needs to know
• 16:56: posted PSL: Beyond Hardware Verification

• 15:44: posted From PID to Active Disturbance Rejection Control

• 21:00: posted Time-Constrained Web Services for Industrial Automation
• 20:28: posted {Sequence-Controlled Web Services for Programmable Logic Controllers}
• 19:07: posted SOAP4PLC: Web Services for Programmable Logic Controllers

• 17:43: posted Tutorial: How to statically ensure software reliability
• 17:31: posted Simulink Design Verifier vs. SPIN - A Comparative Case Study
• 17:25: posted Evaluation of the Matlab Simulink Design Verier versus the model checker {SPIN}
• 17:19: posted v-Promela: a visual, object-oriented language for SPIN
• 17:13: posted A Survey of Automated Techniques for Formal Software Verification
• 16:56: added a note to Software Abstractions: Logic, Language, and Analysis
• 16:55: posted Software Abstractions: Logic, Language, and Analysis
• 15:48: posted Next Generation Testing Tools for Embedded Applications
• 15:47: posted Static Analysis of Dynamic Properties - Automatic Program Verification to Prove the Absence of Dynamic Runtime Errors
• 15:20: posted Securing software : an evaluation of static source code analyzers

• 15:37: posted Patterns, frameworks, and middleware: their synergistic relationships

• 16:06: posted A hybrid methodology for synthesis of Petri net models for manufacturing systems
• 15:59: posted An overview of embedded system design education at berkeley
• 15:45: posted Functional modeling in parametric CAD systems
• 15:28: posted Modeling industrial embedded systems with UML
• 15:19: posted Using SPIN model checking for flight software verification

• 19:25: posted Flexible and Robust Status Dissemination Middleware for the Electric Power Grid
• 19:18: posted Designing the Next Generation of Real-Time Control, Communication, and Computations for Large Power Systems
• 18:54: posted Trends in Power Quality Monitoring
• 18:54: posted Power Quality Primer (Electrical Engineering Primer)
• 18:53: posted Electrical Power Quality Control Techniques (Electrical Engineering)
• 12:26: posted Sensor Calibration with TEDS Technology
• 12:19: posted Sensors Plug&Play ({TEDS}) - {IEEE} 1451.4 Measurement Hardware
• 12:06: posted World Plug and Play Smart {TEDS} Sensors Markets

• 15:00: posted P220 Evaluation Kit