| 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?
1 out of 2 users found this white paper useful
Related white papers
802.11n Access Points and Power over Ethernet: Key Considerations
In this 5 page report, you'll discover more about the key technical considerations when making the move to 802.11n. The report provides: ? An overview of PoE ? Information on verifying power...
Practical Considerations for deploying 802.11n whitepaper
There is a lot of confusion surrounding the capabilities and status of the new 802.11n WiFi standard; understandable since the standard is very broad and has been slow to develop. There...
University Builds an Intelligent Learning Environment With a Cisco Network
Case Western Reserve University (Case) is a leading independent research university, distinguished by its strengths in education, research, and community service. Case has established ambitious goals, one of which is...
The Landmark Mandarin Oriental Raises Its Guest Experience to New Heights With New IP Communications Solution From Cisco Systems and JOS
Mandarin Oriental Hotel Group is the award-winning owner and operator of some of the world's most prestigious hotels and resorts. Today's business travelers demand more than simple IT connectivity -...
Using the Cisco IP/TV Streaming Solution With TANDBERG Codecs
This document gives a description of how to use the Cisco IP/TV Streaming products together with TANDBERG codecs.
Top Ten E-tailer Overstock.com Selects Foundry for Massive Datacenter Overhaul and New Corporate Headquarters Build-Out
In 2004, Overstock.com's Salt Lake City campus was about to sprawl. The company desperately needed to revamp its Web site, network, data center, and corporate WLAN. The online retailer wanted...
True Leads Business Network Convergence With Launch of "MPLS Data Networking Solution" Over Cisco IP NGN
True Corp. Plc., Thailand's only fully integrated communication solutions provider and convergence solutions leader offers innovative and efficient communication technologies and services to meet their corporate customers' requirement in integrated...
