Cyber–Physical Systems: A Perspective at the Centennial
暂无分享,去创建一个
[1] Alvaro A. Cárdenas,et al. Attacks against process control systems: risk assessment, detection, and response , 2011, ASIACCS '11.
[2] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..
[3] Xiaofeng Wang,et al. Self-Triggered Feedback Control Systems With Finite-Gain ${\cal L}_{2}$ Stability , 2009, IEEE Transactions on Automatic Control.
[4] Ran Raz,et al. Super-logarithmic depth lower bounds via direct sum in communication complexity , 1991, [1991] Proceedings of the Sixth Annual Structure in Complexity Theory Conference.
[5] H. Nyquist,et al. The Regeneration Theory , 1954, Journal of Fluids Engineering.
[6] Sekhar Tatikonda,et al. Control under communication constraints , 2004, IEEE Transactions on Automatic Control.
[7] A. Girard,et al. Reachability analysis of linear systems using support functions , 2010 .
[8] Randy Cogill,et al. Convexity of optimal control over networks with delays and arbitrary topology , 2010 .
[9] Olaf Stursberg,et al. Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement , 2003, TACAS.
[10] W. Evans. Control system synthesis by Root Locus method , 1950, Electrical Engineering.
[11] Kang G. Shin,et al. Real-time dynamic voltage scaling for low-power embedded operating systems , 2001, SOSP.
[12] R. Kálmán. Mathematical description of linear dynamical systems , 1963 .
[13] Theodore P. Baker,et al. Stack-based scheduling of realtime processes , 1991, Real-Time Systems.
[14] P. R. Kumar,et al. Distributed scheduling based on due dates and buffer priorities , 1991 .
[15] Ian M. Mitchell,et al. Level Set Methods for Computation in Hybrid Systems , 2000, HSCC.
[16] Piyush Gupta,et al. Critical Power for Asymptotic Connectivity in Wireless Networks , 1999 .
[17] Panganamala Ramana Kumar,et al. Utility Maximization for Delay Constrained QoS in Wireless , 2009, 2010 Proceedings IEEE INFOCOM.
[18] J.P. Hespanha,et al. Designing an observer-based controller for a network control system , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.
[19] Lui Sha,et al. On task schedulability in real-time control systems , 1996, 17th IEEE Real-Time Systems Symposium.
[20] John Baillieul,et al. Feedback Designs for Controlling Device Arrays with Communication Channel Bandwidth Constraints , 1999 .
[21] Dong Yue,et al. STATE FEEDBACK CONTROLLER DESIGN OF NETWORKED CONTROL SYSTEMS WITH PARAMETER UNCERTAINTY AND STATE‐DELAY , 2006 .
[22] Thierry Gautier,et al. Programming real-time applications with SIGNAL , 1991, Proc. IEEE.
[23] JAMAL N. AL-KARAKI,et al. Routing techniques in wireless sensor networks: a survey , 2004, IEEE Wireless Communications.
[24] Daniel Liberzon,et al. Switching in Systems and Control , 2003, Systems & Control: Foundations & Applications.
[25] Giorgio C. Buttazzo,et al. Rate Monotonic Analysis: The Hyperbolic Bound , 2003, IEEE Trans. Computers.
[26] J. Jubin,et al. The DARPA packet radio network protocols , 1987, Proceedings of the IEEE.
[27] Kyoung-Dae Kim,et al. Design and experimental verification of real-time mechanisms for middleware for networked control , 2010, Proceedings of the 2010 American Control Conference.
[28] Deborah Estrin,et al. An energy-efficient MAC protocol for wireless sensor networks , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.
[29] Hongwei Zhang,et al. Reliable bursty convergecast in wireless sensor networks , 2005, MobiHoc '05.
[30] Panganamala Ramana Kumar,et al. Optimizing controller location in networked control systems with packet drops , 2008, IEEE Journal on Selected Areas in Communications.
[31] Mathew D. Penrose,et al. Random Geometric Graphs , 2003 .
[32] Noga Alon,et al. Source coding and graph entropies , 1996, IEEE Trans. Inf. Theory.
[33] P.R. Kumar,et al. Distributed Clock Synchronization over Wireless Networks: Algorithms and Analysis , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.
[34] Girish Baliga,et al. A middleware framework for networked control systems , 2005 .
[35] Panganamala Ramana Kumar,et al. Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata , 2011, HSCC '11.
[36] Tamer Basar,et al. Optimal control of LTI systems over unreliable communication links , 2006, Autom..
[37] Gabor Karsai,et al. Model-integrated development of embedded software , 2003, Proc. IEEE.
[38] Yashodhan Kanoria,et al. A tight lower bound for parity in noisy communication networks , 2008, SODA '08.
[39] Chung Laung Liu,et al. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.
[40] E. Blum,et al. The Mathematical Theory of Optimal Processes. , 1963 .
[41] David Park,et al. Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.
[42] Linda Bushnell,et al. Stability analysis of networked control systems , 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).
[43] Pravin Varaiya,et al. Stochastic Systems: Estimation, Identification, and Adaptive Control , 1986 .
[44] W. Marsden. I and J , 2012 .
[45] Ralph Johnson,et al. design patterns elements of reusable object oriented software , 2019 .
[46] Israel Cidon,et al. One-way delay estimation using network-wide measurements , 2006, IEEE Transactions on Information Theory.
[47] Nancy A. Lynch,et al. The Theory of Timed I/o Automata , 2003 .
[48] Dragan Nesic,et al. Input-output stability properties of networked control systems , 2004, IEEE Transactions on Automatic Control.
[49] Nicola Elia,et al. Remote stabilization over fading channels , 2005, Syst. Control. Lett..
[50] Lui Sha,et al. Real-time communication and coordination in embedded sensor networks , 2003, Proc. IEEE.
[51] Panganamala Ramana Kumar,et al. Abstractions, Architecture, Mechanisms, and a Middleware for Networked Control , 2009, IEEE Transactions on Automatic Control.
[52] Jay K. Strosnider,et al. The Deferrable Server Algorithm for Enhanced Aperiodic Responsiveness in Hard Real-Time Environments , 1987, IEEE Trans. Computers.
[53] Dragoslav D. Šiljak,et al. Decentralized control of complex systems , 2012 .
[54] David A. Mindell,et al. Between Human and Machine: Feedback, Control, and Computing before Cybernetics , 2002 .
[55] Norman M. Abramson,et al. THE ALOHA SYSTEM: another alternative for computer communications , 1899, AFIPS '70 (Fall).
[56] Kang G. Shin,et al. Adaptive control of virtualized resources in utility computing environments , 2007, EuroSys '07.
[57] Gyula Simon,et al. The flooding time synchronization protocol , 2004, SenSys '04.
[58] Stuart Bennett. CONTROL AND THE DIGITAL COMPUTER: THE EARLY YEARS , 2002 .
[59] Jehoshua Bruck,et al. Covering Algorithms, Continuum Percolation, and the Geometry of Wireless Networks. , 2003 .
[60] Uwe Brinkschulte,et al. A microkernel middleware architecture for distributed embedded real-time systems , 2001, Proceedings 20th IEEE Symposium on Reliable Distributed Systems.
[61] Panganamala Ramana Kumar,et al. Provable Systemwide Safety in Intelligent Intersections , 2011, IEEE Transactions on Vehicular Technology.
[62] Lui Sha,et al. An implicit prioritized access protocol for wireless sensor networks , 2002, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002..
[63] Johan Nilsson,et al. Analysis of real-time control systems with time delays , 1996, Proceedings of 35th IEEE Conference on Decision and Control.
[64] Calin Belta,et al. Controlling a Class of Nonlinear Systems on Rectangles , 2006, IEEE Transactions on Automatic Control.
[65] Massimo Franceschetti,et al. Stabilization Over Markov Feedback Channels: The General Case , 2013, IEEE Transactions on Automatic Control.
[66] Bran Selic,et al. The Pragmatics of Model-Driven Development , 2003, IEEE Softw..
[67] S. Shankar Sastry,et al. Secure Control: Towards Survivable Cyber-Physical Systems , 2008, 2008 The 28th International Conference on Distributed Computing Systems Workshops.
[68] Gang Zhou,et al. VigilNet: An integrated sensor network system for energy-efficient surveillance , 2006, TOSN.
[69] Sekhar Tatikonda,et al. Control over noisy channels , 2004, IEEE Transactions on Automatic Control.
[70] André Platzer,et al. Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics , 2010 .
[71] Panganamala Ramana Kumar,et al. The Spatial Smoothing Method of Clock Synchronization in Wireless Networks , 2011, Theoretical Aspects of Distributed Computing in Sensor Networks.
[72] Panganamala Ramana Kumar,et al. Optimal computation of symmetric Boolean functions in tree networks , 2010, 2010 IEEE International Symposium on Information Theory.
[73] Aaas News,et al. Book Reviews , 1893, Buffalo Medical and Surgical Journal.
[74] J.A. Stankovic,et al. Misconceptions about real-time computing: a serious problem for next-generation systems , 1988, Computer.
[75] Raymond Klefstad,et al. RTZen: Highly Predictable, Real-Time Java Middleware for Distributed and Embedded Systems, , 2005, Middleware.
[76] M. Velasco,et al. The Self Triggered Task Model for Real-Time Control Systems , 2003 .
[77] Eyal Kushilevitz,et al. Computation in noisy radio networks , 2005, SODA '98.
[78] Nicola Elia,et al. Limitations of Linear Control Over Packet Drop Networks , 2011, IEEE Transactions on Automatic Control.
[79] Jay K. Strosnider,et al. ENHANCED APERIODIC RESPONSIVENESS IN HARD REAL-TIME ENVIRONMENTS. , 1987, RTSS 1987.
[80] L. Dries,et al. Geometric categories and o-minimal structures , 1996 .
[81] Pravin Varaiya,et al. What's decidable about hybrid automata? , 1995, STOC '95.
[82] R. E. Kalman,et al. New Results in Linear Filtering and Prediction Theory , 1961 .
[83] Jack Greenfield,et al. Software factories: assembling applications with patterns, models, frameworks and tools , 2004, OOPSLA '03.
[84] V. Borkar,et al. LQG Control with Communication Constraints , 1997 .
[85] Bruce H. Krogh,et al. Computational techniques for hybrid system verification , 2003, IEEE Trans. Autom. Control..
[86] S. Shreve,et al. Real-time queues in heavy traffic with earliest-deadline-first queue discipline , 2001 .
[87] H. O. Fattorini,et al. Infinite dimensional linear control systems : the time optimal and norm optimal problems , 2005 .
[88] Paulo Tabuada,et al. Verification and Control of Hybrid Systems - A Symbolic Approach , 2009 .
[89] Charles Steinhorn,et al. Tame Topology and O-Minimal Structures , 2008 .
[90] Wei Zhang,et al. Stability of networked control systems , 2001 .
[91] Massimo Franceschetti,et al. Data Rate Theorem for Stabilization Over Time-Varying Feedback Channels , 2009, IEEE Transactions on Automatic Control.
[92] R. Srikant,et al. Distributed Symmetric Function Computation in Noisy Wireless Sensor Networks , 2007, IEEE Transactions on Information Theory.
[93] David Angeli,et al. A Lyapunov approach to incremental stability properties , 2002, IEEE Trans. Autom. Control..
[94] Thomas A. Henzinger,et al. The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
[95] Uriel Feige,et al. Finding OR in a noisy broadcast network , 2000, Inf. Process. Lett..
[96] Anthony Rowe,et al. Nano-RK: an energy-aware resource-centric RTOS for sensor networks , 2005, 26th IEEE International Real-Time Systems Symposium (RTSS'05).
[97] Vivek S. Borkar,et al. A Theory of QoS for Wireless , 2009, IEEE INFOCOM 2009.
[98] Insup Lee,et al. Compositional real-time scheduling framework , 2004, 25th IEEE International Real-Time Systems Symposium.
[99] Tamer Basar. Control System Synthesis by Root Locus Method , 2001 .
[100] Alon Orlitsky,et al. Coding for computing , 1995, Proceedings of IEEE 36th Annual Foundations of Computer Science.
[101] Manuel Mazo,et al. PESSOA: A Tool for Embedded Controller Synthesis , 2010, CAV.
[102] Insup Lee,et al. Compositional real-time scheduling framework with periodic model , 2008, TECS.
[103] Daniel Liberzon,et al. Quantized feedback stabilization of linear systems , 2000, IEEE Trans. Autom. Control..
[104] M. L. Chambers. The Mathematical Theory of Optimal Processes , 1965 .
[105] T. Henzinger. The theory of hybrid automata , 1996, LICS 1996.
[106] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[107] Shuichi Oikawa,et al. Resource kernels: a resource-centric approach to real-time and multimedia systems , 2001, Electronic Imaging.
[108] Alon Orlitsky,et al. Coding for computing , 2001, IEEE Trans. Inf. Theory.
[109] John P. Lehoczky,et al. Real-time queueing theory , 1996, 17th IEEE Real-Time Systems Symposium.
[110] Hai Lin,et al. Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results , 2009, IEEE Transactions on Automatic Control.
[111] Sanjoy K. Baruah,et al. Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor , 1990, Real-Time Systems.
[112] Song Han,et al. WirelessHART: Applying Wireless Technology in Real-Time Industrial Process Control , 2008, 2008 IEEE Real-Time and Embedded Technology and Applications Symposium.
[113] Chenyang Lu,et al. SPEED: a stateless protocol for real-time communication in sensor networks , 2003, 23rd International Conference on Distributed Computing Systems, 2003. Proceedings..
[114] Hong Ye,et al. Scheduling of networked control systems , 2001 .
[115] Richard M. Murray,et al. Optimal LQG control across packet-dropping links , 2007, Syst. Control. Lett..
[116] Stephen P. Boyd,et al. Control of asynchronous dynamical systems with rate constraints on events , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).
[117] Michael Gastpar,et al. Computation Over Multiple-Access Channels , 2007, IEEE Transactions on Information Theory.
[118] Daniel P. Schrage,et al. An open platform for reconfigurable control , 2001 .
[119] H. W. Bode,et al. Network analysis and feedback amplifier design , 1945 .
[120] Lui Sha,et al. Dynamic clustering for acoustic target tracking in wireless sensor networks , 2003, IEEE Transactions on Mobile Computing.
[121] Nancy A. Lynch,et al. Hybrid I/O automata , 2003, Inf. Comput..
[122] H. S. WITSENHAUSEN,et al. The zero-error side information problem and chromatic numbers (Corresp.) , 1976, IEEE Trans. Inf. Theory.
[123] Manfred Broy,et al. Challenges in automotive software engineering , 2006, ICSE.
[124] Insup Lee,et al. Cyber-physical systems: The next computing revolution , 2010, Design Automation Conference.
[125] Lui Sha,et al. Dynamic Clustering for Acoustic Target Tracking in Wireless Sensor Networks , 2004, IEEE Trans. Mob. Comput..
[126] G. Dullerud,et al. A Course in Robust Control Theory: A Convex Approach , 2005 .
[127] Robert G. Gallager,et al. Finding parity in a simple broadcast network , 1988, IEEE Trans. Inf. Theory.
[128] Stuart E. Schechter,et al. Fast Detection of Scanning Worm Infections , 2004, RAID.
[129] Björn Wittenmark,et al. Stochastic Analysis and Control of Real-time Systems with Random Time Delays , 1999 .
[130] Antoine Girard,et al. SpaceEx: Scalable Verification of Hybrid Systems , 2011, CAV.
[131] David E. Culler,et al. Calibration as parameter estimation in sensor networks , 2002, WSNA '02.
[132] Donald L. Snyder,et al. How to track a swarm of fireflies by observing their flashes (Corresp.) , 1975, IEEE Trans. Inf. Theory.
[133] Wang Yi,et al. Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.
[134] Linda Bushnell,et al. Stability analysis of networked control systems , 2002, IEEE Trans. Control. Syst. Technol..
[135] Johan Nilsson,et al. Analysis of Real-Time Control Systems with Time Delays , 1996 .
[136] S. Graham,et al. Time in general-purpose control systems: the Control Time Protocol and an experimental evaluation , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).
[137] S. Shankar Sastry,et al. O-Minimal Hybrid Systems , 2000, Math. Control. Signals Syst..
[138] Sayan Mitra,et al. A verification framework for hybrid systems , 2007 .
[139] Thomas A. Henzinger,et al. Automatic symbolic verification of embedded systems , 1993, 1993 Proceedings Real-Time Systems Symposium.
[140] H. Witsenhausen. Separation of estimation and control for discrete time systems , 1971 .
[141] Pravin Varaiya,et al. Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems , 2007, IEEE Transactions on Automatic Control.
[142] Gérard Berry,et al. The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..
[143] Paulo Tabuada,et al. To Sample or not to Sample: Self-Triggered Control for Nonlinear Systems , 2008, IEEE Transactions on Automatic Control.
[144] Nicola Elia,et al. Stabilization of linear systems with limited information , 2001, IEEE Trans. Autom. Control..
[145] Douglas C. Schmidt,et al. The design of the TAO real-time object request broker , 1998, Comput. Commun..
[146] Panganamala Ramana Kumar,et al. Admission control and scheduling for QoS guarantees for variable-bit-rate applications on wireless channels , 2009, MobiHoc '09.
[147] Goran Frehse. PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech , 2005, HSCC.
[148] David E. Culler,et al. Transmission of IPv6 Packets over IEEE 802.15.4 Networks , 2007, RFC.
[149] David E. Culler,et al. TinyOS: Operating System Design for Wireless Sensor Networks , 2006 .
[150] Thomas A. Henzinger,et al. HYTECH: a model checker for hybrid systems , 1997, International Journal on Software Tools for Technology Transfer.
[151] Paulo Tabuada,et al. Verification and Control of Hybrid Systems , 2009 .
[152] David E. Culler,et al. Lessons from a Sensor Network Expedition , 2004, EWSN.
[153] R. Kálmán. On the general theory of control systems , 1959 .
[154] Paulo Tabuada,et al. Linear Time Logic Control of Discrete-Time Linear Systems , 2006, IEEE Transactions on Automatic Control.
[155] Panganamala Ramana Kumar,et al. Optimal strategies for computing symmetric Boolean functions in collocated networks , 2010, 2010 IEEE Information Theory Workshop on Information Theory (ITW 2010, Cairo).
[156] Yanjun Li,et al. Wireless Sensor Network Design for Wildfire Monitoring , 2006, 2006 6th World Congress on Intelligent Control and Automation.
[157] Nancy A. Lynch,et al. Self-stabilizing robot formations over unreliable networks , 2009, TAAS.
[158] Chenyang Lu,et al. RAP: a real-time communication architecture for large-scale wireless sensor networks , 2002, Proceedings. Eighth IEEE Real-Time and Embedded Technology and Applications Symposium.
[159] Thomas A. Henzinger,et al. Giotto: a time-triggered language for embedded programming , 2001, Proc. IEEE.
[160] Indra Widjaja,et al. IEEE 802.11 Wireless Local Area Networks , 1997, IEEE Commun. Mag..
[161] Babak Hassibi,et al. Anytime reliable codes for stabilizing plants over erasure channels , 2011, IEEE Conference on Decision and Control and European Control Conference.
[162] Bruno Sinopoli,et al. Challenges for Securing Cyber Physical Systems , 2009 .
[163] Prakash Ishwar,et al. Two-terminal distributed source coding with alternating messages for function computation , 2008, 2008 IEEE International Symposium on Information Theory.
[164] André Platzer,et al. Quantified differential invariants , 2011, HSCC '11.
[165] Panganamala Ramana Kumar,et al. Scheduling Heterogeneous Real-Time Traffic Over Fading Wireless Channels , 2014, IEEE/ACM Transactions on Networking.
[166] Paulo Tabuada,et al. Approximately bisimilar symbolic models for nonlinear control systems , 2007, Autom..
[167] Frank Kelly,et al. Rate control for communication networks: shadow prices, proportional fairness and stability , 1998, J. Oper. Res. Soc..
[168] Abbas El Gamal. Reliable Communication of Highly Distributed Information , 1987 .
[169] S. Bennett,et al. A brief history of automatic control , 1996 .
[170] Anees Shaikh,et al. ARMADA Middleware and Communication Services , 1999, Real-Time Systems.
[171] Wing Shing Wong,et al. Systems with finite communication bandwidth constraints. II. Stabilization with limited information feedback , 1999, IEEE Trans. Autom. Control..
[172] Rafail Ostrovsky,et al. Error-correcting codes for automatic control , 2005, 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05).
[173] John Anderson,et al. Wireless sensor networks for habitat monitoring , 2002, WSNA '02.
[174] Chenyang Lu,et al. A utilization bound for aperiodic tasks and priority driven scheduling , 2004, IEEE Transactions on Computers.
[175] Paulo Tabuada. An Approximate Simulation Approach to Symbolic Control , 2008, IEEE Transactions on Automatic Control.
[176] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[177] Christoph M. Kirsch,et al. Giotto: a time-triggered language for embedded programming , 2003 .
[178] R. Evans,et al. Stabilization with data-rate-limited feedback: tightest attainable bounds , 2000 .
[179] Sean R Eddy,et al. What is dynamic programming? , 2004, Nature Biotechnology.
[180] Lihua Xie,et al. Minimum Data Rate for Mean Square Stabilizability of Linear Systems With Markovian Packet Losses , 2011, IEEE Trans. Autom. Control..
[181] Alessandro Astolfi,et al. Stability of Dynamical Systems - Continuous, Discontinuous, and Discrete Systems (by Michel, A.N. et al.; 2008) [Bookshelf] , 2007, IEEE Control Systems.
[182] André Platzer,et al. Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified , 2011, FM.
[183] Andrew Chi-Chih Yao,et al. Some complexity questions related to distributive computing(Preliminary Report) , 1979, STOC.
[184] Ashish Tiwari,et al. Abstractions for hybrid systems , 2008, Formal Methods Syst. Des..
[185] Matt Welsh,et al. Deploying a wireless sensor network on an active volcano , 2006, IEEE Internet Computing.
[186] Chung Shue Chen,et al. Real-time QoS support in wireless sensor networks: a survey , 2007 .
[187] K. Åström,et al. Comparison of Riemann and Lebesgue sampling for first order stochastic systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..
[188] Panganamala Ramana Kumar,et al. Computing and communicating functions over sensor networks , 2005, IEEE Journal on Selected Areas in Communications.
[189] Jill Slay,et al. Lessons Learned from the Maroochy Water Breach , 2007, Critical Infrastructure Protection.
[190] Giorgio C. Buttazzo,et al. Resource Reservation in Dynamic Real-Time Systems , 2004, Real-Time Systems.
[191] Alexandre M. Bayen,et al. Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi Equation Using Viability Techniques , 2002, HSCC.
[192] George M. Siouris,et al. Applied Optimal Control: Optimization, Estimation, and Control , 1979, IEEE Transactions on Systems, Man, and Cybernetics.
[193] Panganamala Ramana Kumar,et al. Optimal ordering of transmissions for computing Boolean threshold functions , 2010, 2010 IEEE International Symposium on Information Theory.
[194] Christos G. Cassandras,et al. Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.
[195] Anant Sahai,et al. The Necessity and Sufficiency of Anytime Capacity for Stabilization of a Linear System Over a Noisy Communication Link—Part I: Scalar Systems , 2006, IEEE Transactions on Information Theory.
[196] A. Michel,et al. Stability of Dynamical Systems — Continuous , Discontinuous , and Discrete Systems , 2008 .
[197] Piyush Gupta,et al. Information-theoretic bounds for multiround function computation in collocated networks , 2009, 2009 IEEE International Symposium on Information Theory.
[198] Panganamala Ramana Kumar,et al. Utility-optimal scheduling in time-varying wireless networks with delay constraints , 2010, MobiHoc '10.
[199] N. Elia,et al. Limitations of linear remote control over packet drop networks , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).
[200] Aloysius K. Mok,et al. Resource partition for real-time systems , 2001, Proceedings Seventh IEEE Real-Time Technology and Applications Symposium.
[201] Yashodhan Kanoria,et al. On Distributed Computation in Noisy Random Planar Networks , 2007, 2007 IEEE International Symposium on Information Theory.
[202] R. Srikant,et al. Optimal Scheduling for Fair Resource Allocation in Ad Hoc Networks With Elastic and Inelastic Traffic , 2011, IEEE/ACM Transactions on Networking.
[203] SahaiA.,et al. The Necessity and Sufficiency of Anytime Capacity for Stabilization of a Linear System Over a Noisy Communication Link—Part I , 2006 .
[204] Antoine Girard,et al. Reachability of Uncertain Linear Systems Using Zonotopes , 2005, HSCC.
[205] Lui Sha,et al. Priority Inheritance Protocols: An Approach to Real-Time Synchronization , 1990, IEEE Trans. Computers.
[206] Marco Spuri,et al. Scheduling aperiodic tasks in dynamic priority systems , 1996, Real-Time Systems.
[207] Olivier Bournez,et al. Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems , 2000, HSCC.
[208] Karl-Erik Årzén,et al. A Component-Based Approach to the Design of Networked Control Systems , 2007, Eur. J. Control.
[209] R E Kalman,et al. CANONICAL STRUCTURE OF LINEAR DYNAMICAL SYSTEMS. , 1962, Proceedings of the National Academy of Sciences of the United States of America.
[210] Panganamala Ramana Kumar,et al. Scheduling Automated Traffic on a Network of Roads , 2006, IEEE Transactions on Vehicular Technology.
[211] Bernhard Rumpe,et al. Model-driven Development of Complex Software : A Research Roadmap , 2007 .
[212] Shankar P. Bhattacharyya,et al. Linear Control Theory , 2009 .
[213] Shreyas Sundaram,et al. The Wireless Control Network: Synthesis and robustness , 2010, 49th IEEE Conference on Decision and Control (CDC).
[214] Lui Sha,et al. Solutions for Some Practical Problems in Prioritized Preemptive Scheduling , 1986, RTSS.
[215] Robin J. Evans,et al. Stabilizability of Stochastic Linear Systems with Finite Feedback Data Rates , 2004, SIAM J. Control. Optim..
[216] George J. Pappas,et al. Discrete abstractions of hybrid systems , 2000, Proceedings of the IEEE.
[217] Michael Athans,et al. Survey of decentralized control methods for large scale systems , 1978 .
[218] P. Olver. Nonlinear Systems , 2013 .
[219] M. Branicky. Stability of hybrid systems: state of the art , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.
[220] Richard M. Karp,et al. Global Synchronization in Sensornets , 2004, LATIN.
[221] Alan Burns,et al. Applying new scheduling theory to static priority pre-emptive scheduling , 1993, Softw. Eng. J..
[222] Pravin Varaiya,et al. Scalar estimation and control with noisy binary observations , 2004, IEEE Transactions on Automatic Control.
[223] Massimo Franceschetti,et al. Stabilization over Markov feedback channels , 2011, IEEE Conference on Decision and Control and European Control Conference.
[224] K. Shin,et al. Performance Guarantees for Web Server End-Systems: A Control-Theoretical Approach , 2002, IEEE Trans. Parallel Distributed Syst..
[225] Florian Dörfler,et al. Cyber-physical attacks in power networks: Models, fundamental limitations and monitor design , 2011, IEEE Conference on Decision and Control and European Control Conference.
[226] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[227] Edward A. Lee. Computing needs time , 2009, CACM.
[228] Bruno Sinopoli,et al. Foundations of Control and Estimation Over Lossy Networks , 2007, Proceedings of the IEEE.
[229] Chenyang Lu,et al. ControlWare: a middleware architecture for feedback control of software performance , 2002, Proceedings 22nd International Conference on Distributed Computing Systems.
[230] Giorgio Buttazzo,et al. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications , 1997 .
[231] Massimo Franceschetti,et al. Time and Energy Complexity of Function Computation Over Networks , 2011, IEEE Transactions on Information Theory.
[232] Massimo Franceschetti,et al. Network Coding for Computing: Cut-Set Bounds , 2009, IEEE Transactions on Information Theory.
[233] Munther A. Dahleh,et al. Feedback stabilization of uncertain systems in the presence of a direct link , 2006, IEEE Transactions on Automatic Control.
[234] João Pedro Hespanha,et al. A Survey of Recent Results in Networked Control Systems , 2007, Proceedings of the IEEE.
[235] Aniruddha S. Gokhale,et al. Developing applications using model-driven design environments , 2006, Computer.
[236] Panos J. Antsaklis,et al. Control and Communication Challenges in Networked Real-Time Systems , 2007, Proceedings of the IEEE.
[237] Dr. Clifford Neuman. Challenges in Security for Cyber-Physical Systems , 2009 .
[238] Rajeev Alur,et al. Predicate abstraction for reachability analysis of hybrid systems , 2006, TECS.
[239] Panos J. Antsaklis,et al. On the model-based control of networked systems , 2003, Autom..
[240] Paulo Tabuada,et al. Secure state-estimation for dynamical systems under active adversaries , 2011, 2011 49th Annual Allerton Conference on Communication, Control, and Computing (Allerton).
[241] Taylor T. Johnson,et al. Safe and Stabilizing Distributed Cellular Flows , 2010, 2010 IEEE 30th International Conference on Distributed Computing Systems.
[242] Wei Zhang,et al. Stability of networked control systems: explicit analysis of delay , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).
[243] Leonard J. Schulman. Coding for interactive communication , 1996, IEEE Trans. Inf. Theory.
[244] Nicola Elia,et al. When bode meets shannon: control-oriented feedback communication schemes , 2004, IEEE Transactions on Automatic Control.
[245] J. G. Ziegler,et al. Optimum Settings for Automatic Controllers , 1942, Journal of Fluids Engineering.
[246] Alan Burns,et al. Real Time Scheduling Theory: A Historical Perspective , 2004, Real-Time Systems.
[247] Michael A. Arbib,et al. Automata theory and control theory - A rapprochement , 1966, Autom..
[248] H.S. Black. Stabilized feed-back amplifiers , 1934, Electrical Engineering.
[249] Thomas A. Henzinger,et al. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.
[250] Gabor Karsai,et al. Model-Integrated Computing , 1997, Computer.
[251] David E. Culler,et al. TinyOS: An Operating System for Sensor Networks , 2005, Ambient Intelligence.
[252] Antoine Girard,et al. Approximation Metrics for Discrete and Continuous Systems , 2006, IEEE Transactions on Automatic Control.
[253] Colin Atkinson,et al. Model-Driven Development: A Metamodeling Foundation , 2003, IEEE Softw..
[254] H. Witsenhausen. A Counterexample in Stochastic Optimum Control , 1968 .