WorldCat Identities

Alur, Rajeev 1966-

Overview
Works: 71 works in 253 publications in 3 languages and 3,913 library holdings
Genres: Conference papers and proceedings  Academic theses 
Roles: Author, Editor, htt, Contributor, Other, Author of introduction
Publication Timeline
.
Most widely held works by Rajeev Alur
Principles of cyber-physical systems by Rajeev Alur( )

17 editions published between 2015 and 2017 in English and Chinese and held by 1,207 WorldCat member libraries worldwide

"A cyber-physical system consist of a collection of computing devices communicating with one another and interacting with the physical world via sensors and actuators in a feedback loop. Increasingly, such systems are everywhere, from smart buildings to medical devices to automobiles. This textbook offers a rigorous and comprehensive introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems. The book draws on a diverse set of subdisciplines, including model-based design, concurrency theory, distributed algorithms, formal methods of specification and verification, control theory, real-time systems, and hybrid systems, explaining the core ideas from each that are relevant to system design and analysis. The book explains how formal models provide mathematical abstractions to manage the complexity of a system design. It covers both synchronous and asynchronous models for concurrent computation, continuous-time models for dynamical systems, and hybrid systems for integrating discrete and continuous evolution. The role of correctness requirements in the design of reliable systems is illustrated with a range of specifications formalisms and the associated techniques for formal verification. The topics include safety and liveness requirements, temporal logic, model checking, deductive verification, stability analysis of linear systems, and real-time scheduling algorithms. Principles of modeling, specification, and analysis are illustrated by constructing solutions to representative design problems from distributed algorithms, network protocols, control design, and robotics."--Provided by publisher
Hybrid systems : computation and control : 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings by Rajeev Alur( )

27 editions published between 2004 and 2005 in English and held by 532 WorldCat member libraries worldwide

This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implemen- tion of dynamic and reactive systems involving both discrete and continuous behaviors. The previous workshops in the HSCC series were held in Berkeley, USA(1998), Nijmegen, TheNetherlands(1999), Pittsburgh, USA(2000), Rome, Italy (2001), Palo Alto, USA (2002), and Prague, Czech Republic (2003). This year's HSCC was organized in cooperation with ACM SIGBED (Special Interest Group on Embedded Systems) and was technically co-sponsored by the IEEE Control Systems Society. The program consisted of 4 invited talks and 43 regular papers selected from 117 regular submissions. The program covered topics such as tools for analysis and veri?cation, control and optimization, modeling, and engineering applica- ons, as in past years, and emerging directions in programming language support and implementation. The program also contained one special session focusing on the interplay between biomolecular networks, systems biology, formal methods, andthecontrolofhybridsystems
Hybrid systems III : verification and control by Rajeev Alur( Book )

24 editions published in 1996 in 3 languages and held by 493 WorldCat member libraries worldwide

"This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995. A hybrid system consists of digital devices that interact with analog environments. Computer science contributes expertise on the analog aspects of this emerging field of interdisciplinary research and design. The 48 revised full papers included were strictly refereed; they present the state of the art in this dynamic field with contributions by leading experts. Also available are the predecessor volumes published in the same series as LNCS 999 and LNCS 736"--PUBLISHER'S WEBSITE
Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings by Rajeev Alur( )

22 editions published in 1996 in English and Italian and held by 467 WorldCat member libraries worldwide

"This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference. The volume presents 32 revised full research contributions selected from a total of 93 submissions; also included are 20 carefully selected descriptions of tools and case studies. The set of papers reports the state-of-the-art of the theory and practice of computer assisted formal analysis methods for software and hardware systems; a certain emphasis is placed on verification tools and the algorithms and techniques that are needed for their implementation."--PUBLISHER'S WEBSITE
Embedded software : third international conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedings by Rajeev Alur( )

26 editions published between 2002 and 2003 in English and held by 431 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003. The 20 revised full papers presented together with three invited papers were carefully reviewed and selected from 60 submissions. All current topics in embedded software are addressed: formal methods and model-based development, middleware and fault tolerance, modelling and analysis, programming languages and compilers, real-time scheduling, resource-aware systems, and systems on a chip
Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings by CAV (Conference)( )

17 editions published in 2004 in English and held by 369 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA, in July 2004. The 32 revised full research papers and 16 tool papers were carefully reviewed and selected from 144 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems
Handbook of networked and embedded control systems by Rajeev Alur( )

5 editions published in 2005 in English and held by 52 WorldCat member libraries worldwide

The Handbook of Networked and Embedded Control Systems, the first of its kind, provides engineers, computer scientists, mathematicians, and students a broad, comprehensive source of information and technology to address many questions and aspects of embedded and networked control. A carefully organized collection of important results, tools, software, and technology, this work unifies into a single reference many scattered articles, websites, and specification sheets - information that might otherwise be difficult to find. Key topics and features include: - Self-contained, sharply-focused articles - Clear structure and presentation of concepts in intuitive order - Separation of material into six main sections: Fundamentals, Hardware, Software, Theory, Networking, and Applications - Case studies, experiments, and examples that provide a multifaceted view of the subject - Information about commercially available tools and hardware - Comprehensive bibliographies and index This is an indispensable text for anyone interested in knowing more about embedded and networked control systems. Researchers will appreciate the handbook's up-to-date results in the theory of embedded control; developers and users will value its information on special-purpose computer hardware and operating systems modifications that support real-time control; students will find the systematic organization and wide coverage useful for learning and reference
Hybrid Systems: Computation and Control : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. Proceedings by Rajeev Alur( )

2 editions published in 2004 in English and held by 38 WorldCat member libraries worldwide

Computer aided verification 16th international conference ; proceedings by CAV (Conference)( Book )

4 editions published in 2004 in English and Undetermined and held by 28 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA in July 2004. The 32 revised full research papers and 16 tool papers were carefully reviewed and selected from 144 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems
Computer Aided Verification : 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31- August 3, 1996 Proceedings by Rajeev Alur( )

1 edition published in 1996 in English and held by 28 WorldCat member libraries worldwide

Hybrid Systems III : Verification and Control by Rajeev Alur( )

1 edition published in 1996 in English and held by 27 WorldCat member libraries worldwide

Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings by Rajeev Alur( )

1 edition published in 2004 in English and held by 27 WorldCat member libraries worldwide

Embedded Software : Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003. Proceedings by Rajeev Alur( )

1 edition published in 2003 in English and held by 26 WorldCat member libraries worldwide

Real-time logics : complexity and expressiveness by Rajeev Alur( Book )

10 editions published between 1990 and 1992 in English and held by 20 WorldCat member libraries worldwide

The theory of the natural numbers with linear order and monadic predicates underlies propositional linear temporal 10 logic. To study temporal logics for real time systems, the authors combine this classical theory of infinite state sequences with a theory of time, via a monotonic function that maps every state to its time. The resulting theory of timed state sequences is shown to be decidable, albeit nonelementary, and its expressive power is characterized by omega-regular sets. Several more expressive variants are proved to be highly undecidable. This framework allows one to classify a wide variety of real time logics according to their complexity and expressiveness. In fact, it follows that most formalisms proposed in the literature cannot be decided. The authors are, however, able to identify two elementary real time temporal logics as expressively complete fragments of the theory of timed state sequences, and give tableau-based decision procedures. Consequently, these two formalisms are well-suited for the specification and verification of real time systems
A really temporal logic by Rajeev Alur( Book )

8 editions published between 1989 and 1992 in English and held by 19 WorldCat member libraries worldwide

We introduce a real-time temporal logic for the specification of reactive systems. The novel feature of our logic, TPTL, is the adoption of temporal operators as quantifiers over time variables; every modality binds a variable to the time(s) it refers to
Verification and control of hybrid systems : a symbolic approach by Paulo Tabuada( Book )

2 editions published in 2009 in English and held by 17 WorldCat member libraries worldwide

Hybrid systems describe the interaction of software, modeled by finite-state systems such as finite-state machines, with the physical world, described by infinite-state systems such as differential equations. Verification and Control of Hybrid Systems provides a unique systematic exposition of several classes of hybrid systems, admitting symbolic models along with the relationships between them. The text outlines several key verification and control synthesis results for hybrid systems, guided by the concept of bisimulation, and illustrated by numerous examples. The book is divided into four parts: Part I presents basic concepts centered on a notion of system that is general enough to describe finite-state, infinite-state, and hybrid systems. Part II discusses the ways in which systems relate to other systems, such as behavioral inclusion/equivalence and simulation/bisimulation, using these relationships to study verification and control synthesis problems for finite-state systems. Part III draws inspiration from timed automata to present several classes of hybrid systems, with richer continuous dynamics, that can be related to finite-state symbolic systems. Once such relationships are established, verification and control synthesis problems for these hybrid systems can be immediately solved by resorting to the techniques described in Part II for finite-state systems. Part IV follows the same strategy by generalizing simulation/bisimulation relationships to approximate simulation/bisimulation relationships that can be used for a wider class of hybrid systems. This comprehensive treatment will appeal to researchers, engineers, computer scientists, and graduate students in the areas of formal methods, verification, model checking, and control and will undoubtedly inspire further study of the specialized literature
Techniques for automatic verification of real-time systems by Rajeev Alur( Book )

6 editions published in 1991 in English and held by 13 WorldCat member libraries worldwide

In the proposed verification method, a finite state system is modeled as a composition of time automata, and the correctness is specified either as a deterministic timed automaton, or as a formula of MITL or TCTL. In each case we develop an algorithm for model checking. The distinguishing feature of our work is the use of the set of reals to model time; we argue that the denseness of the time domain is crucial for modeling event-driven asynchronous systems. The thesis also clarifies the relationship between different models and logics for real-time, and answers some basic questions regarding complexity, decidability, and expressiveness."
The benefits of relaxing punctuality by Rajeev Alur( Book )

6 editions published between 1991 and 1994 in English and held by 13 WorldCat member libraries worldwide

Abstract: "The most natural, compositional way of modeling real- time systems uses a dense domain for time. The satisfiability of real-time constraints that are capable of expressing punctuality in this model is, however, known to be undecidable. We introduce a temporal language that can constrain the time difference between events only with finite (yet arbitrary) precision and show the resulting logic to be EXPSPACE-complete. This result allows us to develop an algorithm for the verification of timing properties of real-time systems with a dense semantics."
Real-time system = discrete system + clock variables by Rajeev Alur( Book )

4 editions published between 1994 and 1997 in English and held by 7 WorldCat member libraries worldwide

Abstract: "How can we take a programming language off the shelf and upgrade it into a real-time programming language? Programs such as device drivers and plant controllers must explicitly refer and react to time. For this purpose, a variety of language constructs -- including delays, timeouts, and watchdogs -- has been put forward. We advocate an alternative answer, namely, to designate certain program variables as clock variables. The value of a clock variable changes as time advances. Timing constraints can be expressed, then, by conditions on clock values. A single new language construct -- the guarded wait statement -- suffices to enforce the timely progress of a program. Our presentation proceeds in two steps. First we extend untimed systems (Section 1) with clock variables (Section 2); then we introduce the guarded wait statement (Section 3). The usage of clock variables and the guarded wait statement is illustrated with real-time applications such as round-robin (timeout- driven) scheduling, priority (interrupt-driven) scheduling, and embedded process control (Section 4). Indeed, clock variables generalize naturally to variables that measure environment parameters other than time (Section 5). In keeping with an expository style, all references are clustered in bibliographic remarks at the end of each section. We conclude by pointing to selected literature on formal methods and support tools for our approach to real-time programming (Section 6)."
Hybrid systems : computation and control : Second International Workshop, HSCC '99, Berg en Dal, the Netherlands, March 29-31, 1999 : proceedings by Frits Vaandrager( Book )

in English and held by 7 WorldCat member libraries worldwide

This book constitutes the proceedings of the Second International Workshop on Hybrid Systems, Computation and Control, HSCC'99, held in Berg en Dal near Nijmegen, The Netherlands in March 1999. The 19 revised full papers presented were carefully reviewed and selected from a total of 44 submissions. Hybrid systems combine aspects from computer science and control theory. The papers in this volume focus on modeling, control, synthesis, design and verification of hybrid systems
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.50 (from 0.13 for Hybrid Sys ... to 0.94 for Computer A ...)

Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
Covers
Hybrid systems : computation and control : 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedingsHybrid systems III : verification and controlComputer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedingsEmbedded software : third international conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedingsComputer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedingsHandbook of networked and embedded control systemsComputer aided verification 16th international conference ; proceedingsVerification and control of hybrid systems : a symbolic approach
Alternative Names
Alur, R. 1966-

Rajeev Alur 1966-

Rajeev Alur American computer scientist

Rajeev Alur Amerikaans informaticus

Languages
English (180)

Italian (2)

Chinese (1)