| 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
Fundamentals of Enterprise KVM Solution Options
Digital KVM switches convert the analog signal from the server console ports into digital signals. This makes transmitting the signals over computer networks possible, such as IP networks, which enables...
Video DynaSync: A Key Technology for Switched Sharing of Modern Monitors
Keyboard/Video/Mouse (KVM) switching has come a long way over the years. The solution category has proliferated into a group of four core segments. All have a few characteristics in common....
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...
