| Publisher | IMAG | ||
|---|---|---|---|
| Format | 599.7KB PDF | Date added | 23 Oct 2006 |
| Topics | Switching, Software Engineering | ||
| Downloads | 8 | ||
The work discussed in this paper develops a methodology for modeling and analyzing switched buffer networks. Within the modeling framework one can represent the topology of such a network along with bounds on capacities of buffers and communication channels, and controllers that decide when to open and close these channels. This high-level description is then transformed into a product of hybrid automata which can accomodate for disturbances in the flow rates between buffers, while remaining faithful to conservation laws. The hybrid automaton model can be used to verify properties of the controlled system (as the paper demonstrates in the paper using the PHAVer tool) and eventually for automatic synthesis of controllers that satisfy requirements or optimize some performance measures.
Did you find this white paper useful?
7 out of 14 users found this white paper useful
Related white papers
Life Insurance Corporation (LIC) Of India Wan/Man Network
Life Insurance Corporation of India (LIC) is in the business of selling insurance products and related services. Servicing so many customers across the country is quite a challenging task, and...
Tasman Networks Case Study: MASERGY
Based in Dallas, Texas, MASERGY is a privately-held company that provides outsourced network services over its own MultiProtocol Label Switching (MPLS)-based network to hundreds of medium to large businesses in...
Lakeville Area Public Schools Meets the Needs of a Dynamic School District With Extreme Networks
The Lakeville Area Public School District serves approximately 10,600 students and is one of the most rapidly growing districts in Minnesota. The district hoped to install a new solution that...
Novell Case Study: Chicago Mercantile Exchange
The Chicago Mercantile Exchange is an international marketplace that enables businesses to allocate assets and manage financial risks. The Merc has several dozen servers, networked with Tandem and IBM mainframes,...
Access control Lists (ACLs)
In this white paper, we'll take a look at access control lists (ACLs), often referred to as access lists or ACLs (sometimes pronounced "ackels"). In Cisco IOS, ACLs are used...
HP, AMD, and Microsoft Deliver Network to Support Company Growth
Gypsum Supply, Ltd. sells and distributes building materials to businesses across north Texas. To compete against regional and national distributors, the organization works to provide the best customer service in...
Strategic Metering
Utility missions are changing. Yesterday, they focused on delivery of reasonably priced energy and water. Tomorrow, they will encompass both supplies and the services that facilitate sustainable use. ...
