Michael Merritt

Shell (Netherlands)

Author Statistics

Papers

Citation

H-Index

i-10 index

Research Trends

Author Order

Document Type

Co-Authors

Gadi Taubenfeld

Herzliya Medical Center

Yehuda Afek

Tel Aviv University

Nancy Lynch

Massachusetts Institute of Technology

William E. Weihl

Massachusetts Institute of Technology

Eli Gafni

UCLA Health

Ariel Orda

Technion – Israel Institute of Technology

Dahlia Malkhi

University of California, Santa Barbara

Nir Shavit

Massachusetts Institute of Technology

Alan Fekete

University of Sydney

Danny Dolev

Hebrew University of Jerusalem

Cooperative Institutions

AT&T (United States)

Tel Aviv University

Laboratoire d'Informatique de Paris-Nord

University of Southern California

Stanford University

Shell (Netherlands)

Massachusetts Institute of Technology

Cornell University

Microsoft (United States)

Yale University

Author Statistics

Papers

Citation

H-Index

i-10 index

Research Field

Distributed Computing and Cryptography

DIMACS series in discrete mathematics and theoretical computer science (1991)

Joan Feigenbaum Michael Merritt

10.1090/dimacs/002

Cite

Citations (41)

Hybrid multilevel Monte Carlo polynomial chaos method for global sensitivity analysis.

Michael Merritt Gianluca Geraci Teresa Portone Michael Eldred

Polynomial Chaos

Quasi-Monte Carlo method

10.2172/2002182

Cite

Citations (0)

Sensitivity of Dynamic Systems to Parameters Which Increase the Order of Mathematical Models

IEEE Transactions on Electronic Computers (1965)

R. Tomović N. Parezanovic Michael Merritt

The paper describes a procedure applicable to analog computers for obtaining the sensitivity function of dynamic systems to parameters that change the order of differential equations. The procedure developed is applied to a problem in error analysis and to a problem in steepest ascent model identification. For purposes of comparison, the sensitivity with respect to normal parameters is also presented.

Identification

10.1109/pgec.1965.264085

Cite

Citations (6)

Composing system integrity using I/O automata

Edward G. Amoroso Michael Merritt

The I/O automata model of Lynch and Turtle (1987) is summarized and used to formalize several types of system integrity based on the control of transitions to invalid starts. Type-A integrity is exhibited by systems with no invalid initial states and that disallow transitions from valid reachable to invalid states. Type-B integrity is exhibited by systems that disallow externally-controlled transitions from valid reachable to invalid states, Type-C integrity is exhibited by systems that allow locally-controlled or externally-controlled transitions from reachable to invalid states. Strict-B integrity is exhibited by systems that are Type-B but not Type-A. Strict-C integrity is exhibited by systems that are Type-C but not Type-B. Basic results on the closure properties that hold under composition of systems exhibiting these types of integrity are presented in I/O automata-theoretic terms. Specifically, Type-A, Type-B, and Type-C integrity are shown to be composable, whereas Strict-B and Strict-C integrity are shown to not be generally composable. The integrity definitions and compositional results are illustrated using the familiar vending machine example specified as an I/O automaton and composed with a customer environment. The implications of the integrity definitions and compositional results on practical system design are discussed and a research plan for future work is outlined.< >

Data integrity

Closure (psychology)

Structural integrity

10.1109/csac.1994.367321

Cite

Citations (4)

Restoration by path concatenation: fast recovery of MPLS paths

Distributed Computing (2002)

Yehuda Afek Anat Bremler-Barr Haim Kaplan Edith Cohen Michael Merritt

Concatenation (mathematics)

10.1007/s00446-002-0080-6

Cite

Citations (13)

The Power of Multiobjects

Information and Computation (1999)

Yehuda Afek Michael Merritt Gadi Taubenfeld

Fetch

10.1006/inco.1999.2793

Cite

Citations (7)

E2095

American Mathematical Monthly (1969)

C. C. Lindner Michael Merritt

10.2307/2316986

Cite

Citations (0)

Overview of insertion device controls at the Advanced Photon Source

Review of Scientific Instruments (2002)

Mohan Ramanathan Martin L. Smith J. Grimmer Michael Merritt

The Advanced Photon Source (APS) is a third-generation synchrotron with major emphasis on insertion device (ID) sources. Currently, there are 25 sectors instrumented out of a possible 35 ID sources. Most of the insertion devices are undulators. Beamlines have been using the ID radiation at the APS for more than five years. The control system of choice at the APS is the experimental physics and industrial control system (EPICS) (http://www.aps.anl.gov/epics). Based on operational experience, the ID control system has been completely revamped. During user operations, the beamline user has complete control of the insertion device. Various interfaces, from RS-232 to EPICS channel access, have been provided for the users to control the IDs. The control system software has been designed to accommodate scanning of the insertion device synchronized to each user’s beamline monochromator. The users have the option of operating the device in a tapered mode. The control software allows the users to control the undulators in energy space from the fundamental to the seventh harmonic. The design philosophy of the insertion device control system will be discussed. The implementation and operational experience will be presented in detail.

Advanced Photon Source

Industrial control system

10.1063/1.1420756

Cite

Citations (1)

On the Correctness of Orphan Management Algorithms

Maurice Herlihy Nancy Lynch Michael Merritt William E. Weihl

orphans, transactions, atomic transactions, databases, distributed computing, distributed databases, serializability,

Orphan drug

10.21236/ada213777

Cite

Citations (0)