Theory of linear and integer programming
Theory of linear and integer programming
Fault tolerance in distributed systems
Fault tolerance in distributed systems
System architecture directions for networked sensors
ACM SIGPLAN Notices
Fault Tolerance: Principles and Practice
Fault Tolerance: Principles and Practice
Maté: a tiny virtual machine for sensor networks
Proceedings of the 10th international conference on Architectural support for programming languages and operating systems
Feedback–Feedforward Scheduling of Control Tasks
Real-Time Systems
Scylla: a smart virtual machine for mobile embedded systems
WMCSA '00 Proceedings of the Third IEEE Workshop on Mobile Computing Systems and Applications (WMCSA'00)
Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal
Real-Time Systems
Contiki - A Lightweight and Flexible Operating System for Tiny Networked Sensors
LCN '04 Proceedings of the 29th Annual IEEE International Conference on Local Computer Networks
A dynamic operating system for sensor nodes
Proceedings of the 3rd international conference on Mobile systems, applications, and services
MANTIS OS: an embedded multithreaded operating system for wireless micro sensor platforms
Mobile Networks and Applications
The regiment macroprogramming system
Proceedings of the 6th international conference on Information processing in sensor networks
Programming sensor networks using abstract regions
NSDI'04 Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation - Volume 1
A virtual machine for sensor networks
Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007
FireFly: a cross-layer platform for real-time embedded wireless networks
Real-Time Systems
The virtual node layer: a programming abstraction for wireless sensor networks
ACM SIGBED Review - Special issue on the workshop on wireless sensor network architecture (April-2007)
The LiteOS Operating System: Towards Unix-Like Abstractions for Wireless Sensor Networks
IPSN '08 Proceedings of the 7th international conference on Information processing in sensor networks
Journal of Graph Theory
Resource aware programming in the Pixie OS
Proceedings of the 6th ACM conference on Embedded network sensor systems
Forth Programmer's Handbook
Modeling and Analysis of Multi-hop Control Networks
RTAS '09 Proceedings of the 2009 15th IEEE Symposium on Real-Time and Embedded Technology and Applications
Embedded Virtual Machines for Robust Wireless Control Systems
ICDCSW '09 Proceedings of the 2009 29th IEEE International Conference on Distributed Computing Systems Workshops
Embedded Virtual Machines for Robust Wireless Control and Actuation
RTAS '10 Proceedings of the 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium
Macro-programming wireless sensor networks using Kairos
DCOSS'05 Proceedings of the First IEEE international conference on Distributed Computing in Sensor Systems
Finding two disjoint paths in a network with normalized α+-MIN-SUM objective function
ISAAC'05 Proceedings of the 16th international conference on Algorithms and Computation
Optimizing controller location in networked control systems with packet drops
IEEE Journal on Selected Areas in Communications
Hi-index | 0.00 |
Networked cyber-physical systems are fundamentally constrained by the tight coupling and closed-loop control of physical processes. To address actuation in such closed-loop wireless control systems there is a strong need to rethink the communication architectures and protocols for reliability, coordination, and control. We introduce the Embedded Virtual Machine (EVM), a programming abstraction where controller tasks with their control and timing properties are maintained across physical node boundaries and functionality is capable of migrating to the most competent set of physical controllers. In the context of process and discrete control, an EVM is the distributed runtime system that dynamically selects primary-backup sets of controllers given spatial and temporal constraints of the underlying wireless network. EVM-based algorithms allow network control algorithms to operate seamlessly over less reliable wireless networks with topological changes. They introduce new capabilities such as predictable outcomes during sensor/actuator failure, adaptation to mode changes, and runtime optimization of resource consumption. An automated design flow from Simulink to platform-independent domain-specific languages, and subsequently, to platform-dependent code generation is presented. Through case studies in discrete and process control we demonstrate the capabilities of EVM-based wireless network control systems.