Amir Pnueli - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged control systems

Fault Diagnosis of Networked Control SystemsChristophe Aubrun, Dominique Sauter, Joseph J. Yame. amcs, 18(4):525-538, 2008. [doi]

End-to-end deadline control for aperiodic tasks in distributed real-time systemsXu-Dong Chen, Qing-Xin Zhu, Liao Yong, Xiong Guang Ze. tjs, 43(3):225-240, 2008. [doi]

Necessary first- and second-order optimality conditions in problems of control described by a system of Volterra difference equationsK. B. Mansimov, R. O. Mastaliev. accs, 42(2):71-76, 2008. [doi]

Integrated vendor--buyer inventory system with sublot sampling inspection policy and controllable lead timeKun-Shan Wu, Liang-Yuh Ouyang, Chia-Huei Ho. ijsysc, 38(4):339-350, 2007. [doi]

The prototype of human - robot interactive voice control systemMiroslav Holada, Igor Kopetschke, Pavel Pirkl, Martin Pelc, Lukás Matela, Jirí Horcicka, Jakub Stilec. icinco 2007: 307-310

Supply System Dynamics: Distributed Control in Supply Chains and NetworksMarkus Schwaninger, Peter Vrhovec. cas, 37(5):375-415, 2006. [doi]

Optimal control of a production inventory system with deteriorating itemsL. Tadj, M. Bounkhel, Y. Benhadid. ijsysc, 37(15):1111-1121, 2006. [doi]

Loose Integration of COTS Tools for the Development of Real Time Distributed Control SystemsJavier Portillo, Oskar Casquero, Marga Marcos. iccbss 2005: 191-200 [doi]

Hybrid Fuzzy/Expert System to Control Grasping with Deformation DetectionJorge Axel Domínguez-López, Gilberto Marrufo. micai 2005: 1022-1031 [doi]

Adaptive output feedback tracking control for a class of uncertain nonlinear systems using neural networksYeong-Chan Chang, Hui-Min Yen. tsmc, 35(6):1311-1316, 2005. [doi]

Toward a systems- and control-oriented agent frameworkKingsley Fregene, Diane Kennedy, David W. L. Wang. tsmc, 35(5):999-1012, 2005. [doi]

Hybrid Control of bifurcation in Continuous Nonlinear Dynamical SystemsZengrong Liu, K. W. Chung. IJBC, 15(12):3895-3903, 2005. [doi]

Integrating simulation models with a view to optimal control of urban wastewater systemsDavid Butler 0002, Manfred Schütze. envsoft, 20(4):415-426, 2005. [doi]

ClawZ: Cost-Effective Formal Verification for Control SystemsM. M. Adams, Philip B. Clayton. icfem 2005: 465-479 [doi]

Control Systems R&D at BBNSheldon Baron. annals, 27(2):52-64, 2005. [doi]

Robust and Adaptive Load Frequency Control of Multi-area Power Networks with System Parametric Uncertainties Using Temporal Difference Based MLP Neural NetworksFarzan Rashidi, Mehran Rashidi. aimsa 2004: 321-330 [doi]

Adaptive synchronous control of servo system driven by two motorsG. F. Zhao, G. L. Ma, J. Guo, W. L. Hu. icarcv 2004: 1990-1993 [doi]

Correction to Comments on Stability of fuzzy control systems with bounded uncertain delays Xiefu Jiang, Wenli Xu. tfs, 12(5):743, 2004. [doi]

Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, ProceedingsOded Maler, Amir Pnueli, editors, Volume 2623 of Lecture Notes in Computer Science, Springer, 2003.

Uncertain, Dynamic, Out of Control? Coordination and Cooperation in Next Generation SystemsJorge Kaiser. isads 2003: 165 [doi]

The Schengen Information System in Austria: An Essential Tool in Day to Day Police and Border Control Work?Stephen Karanja. JILT, 2002(1), 2002. [doi]

Robust stability of fuzzy feedback linearization control system for Takagi-Sugeno fuzzy modelYoung-Wan Cho, Sung-Ryul Lee, Kyung-Ok Park, Mignon Park. jifs, 10(2):99-115, 2001. [doi]

Fuzzy modular autonomous intelligent cruise control (AICC) systemM. A. Jarrah, Adnan K. Shaout. jifs, 11(3-4):121-134, 2001. [doi]

Direct Adaptive Fuzzy-neural Control With State Observer & Supervisory Controller for Unknown Nonlinear Dynamical SystemsChi-Hsu Wang, Han-Leih Liu, Tsung-Chih Lin. fuzzIEEE 2001: 622-625

Combined Direct/indirect Adaptive Fuzzy-neural Control With State Observer & Supervisory Controller for Unknown Nonlinear Dynamic SystemsChi-Hsu Wang, Han-Leih Liu, Tsung-Chih Lin. fuzzIEEE 2001: 880-883

Analyzing the Light Control System with PVSjucs, 6(7):621-649, 2000. [doi]

Modified adaptive discrete control system containing neural estimator and neural controllerSohrab Khanmohammadi, Iraj Hassanzadeh, Mohammad Bagher Bana Sharifian. aei, 14(1):31-38, 2000. [doi]

Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systemsNaftaly H. Minsky, Victoria Ungureanu. TOSEM, 9(3):273-305, 2000. [doi]

A decision support algorithm to assess cost-effective control of detriments associated with a production planning systemS. Roy. tsmc, 30(4):498-505, 2000.

Reliable decentralized supervisory control of discrete event systemsS. Takai, T. Ushio. tsmc, 30(5):661-667, 2000.

A penalty/least-squares method for optimal control problems for first-order elliptic systemsMax Gunzburger, Hyung-Chun Lee. amc, 107(1):57-75, 2000. [doi]

Controlled Simulation of Marriage SystemsDouglas R. White. jasss, 2(3), 1999. [doi]

Integrity and Internal Control in Information Systems, IFIP TC11 Working Group 11.5, Third Working Conference on Integrity and Internal Control in Information Systems: Strategic Views on the Need for Control, Amsterdam, The Netherlands, November 18-19, 19Margaret E. van Biene-Hershey, Leon Strous, editors, Volume 165 of IFIP Conference Proceedings, Kluwer, 1999.

Multiple stochastic learning automata for vehicle path control in an automated highway systemCem Ünsal, Pushkin Kachroo, John S. Bay. tsmc, 29(1):120-128, 1999.

Inventory Control: A Simulation and Decision Support SystemAnna Sobotka. simulation, 71(3):141-153, 1998.

Engineering Safe, Real-Time Distributed Control SystemsPeter R. Croll, Chris Rudram, Colin Chambers, Naoshi Uchihira. euromicro 1998: 10445-10452 [doi]

A control and management network for wireless ATM systemsStephen Bush, Sunil Jagannath, Ricardo Sanchez, Joseph B. Evans, Victor S. Frost, Gary J. Minden, K. Sam Shanmugan. winet, 3(4):267-283, 1997. [doi]

Autonomous Decentralized Software Structure for Integration of Information and Control SystemsTakeiki Aizono, Katsumi Kawano, Hiroshi Wataya, Kinji Mori. compsac 1997: 324-331 [doi]

Speech synthesis for the new Pan-European traffic message control system RDS-TMCBert Van Coile, Hans-Wilhelm Rühl, L. Vogten, M. Thoone, S. Goß, D. Delaey, E. Moons, Jacques M. B. Terken, Jan-Roelof de Pijper, M. Kugler, P. Kaufholz, R. Krüger, S. Leys, S. Willems. speech, 23(4):307-317, 1997. [doi]

Genetic Algorithms and Flowshop Scheduling: Towards the Development of a Real-Time Process Control SystemHugh M. Cartwright, Andrew Tuson. aisb 1994: 277-290

A Superimposition Control Construct for Distributed SystemsShmuel Katz. TOPLAS, 15(2):337-356, 1993. [doi]

Formal Specification and Verification of a Fault-Masking and Transient-Recovery Model for Digital Flight-Control SystemsJohn M. Rushby. ftrtft 1991: 237-257

Process control for large complex systemsFelix Bretschneider, Christa Kopf, Markus Zolg. wsc 1991: 1091-1100 [doi]

A Self-organizing Associative Memory System for Control ApplicationsMichael Hormel. nips 1990: 332-339 [doi]

A Production Control Model of On-Line Systems a Capacity Planning OverviewCarolyn Hanna. cmg 1988: 592-598

On Multiversion Replication Control in Distributed SystemsSang Hyuk Son. csse, 2(2):76-84, 1987.

EDP System Development Methodology: Auditability and ControlAvi Rushinek, Sara F. Rushinek. tapsoft 1985: 423-434

LAN: Hub for Distributed System Performance Management and ControlMitchell G. Spiegel. cmg 1983: 126-130

Control of a Heterogeneous Two-Server Exponential Queueing SystemRonald L. Larsen, Ashok K. Agrawala. TSE, 9(4):522-526, 1983.

Identification and Control for Linear Dynamic Systems of Unknown OrderA. V. Medvedev. ifip7 1974: 48-55

runs on WebDSL